Science Reference
 
 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z
Log-linear Models
Linear-size nonobtuse triangulation of polygons
Learning general search control from outside guidance
Local computation in hypertrees
Learning dynamics of complex motions from image sequences
Limiting Privacy Breaches in Privacy Preserving Data Mining
Linear multi view reconstruction and camera recovery
Logical Markov decision programs
Lcc tools for question answering
Learning to Understand the Web
Learning quantitative knowledge for multiagent coordination
Lexical ambiguity and Information Retrieval revisited
Logical forms in the CORE language engine
Loss profiles at the link layer
L-System-Based Behavioral Animation
Logic programming, functional programming, and inductive definitions
Learned models for continuous planning
Learning Optimal Dialogue Strategies: A Case Study of a Spoken Dialogue Agent for Email
Lazy Rewriting and Context-Sensitive Rewriting
Language independent named entity recognition combining morphological and contextual evidence
Long-Distance Scrambling and Tree Adjoining Grammars
Leveraging web-services and peer-to-peer networks
Learning intonation rules for concept to speech generation
Layout & language: Preliminary experiments in assigning logical structure to table cells
Lexical, Prosodic, and Syntactic Cues for Dialog Acts
Locally adaptive nearest neighbor algorithms
Learning decision trees using the area under the roc curve
Learning dependencies between case frame slots
LFG semantics via constraints
Limited attention and discourse structure
LIME: A Coordination Middleware Supporting Mobility of Hosts and Agents
Loose Synchronization of Multithreaded Replicas
Lexical heads, phrase structure and the induction of grammar
Learning Bayesian Networks from Dependency Networks: A Preliminary Study
Linguistic knowledge acquisition from parsing failures
Link-sharing and resource management models for packet networks
Latency hiding strategies of pre-allocation based media access protocols for WDM photonic networks
Large-scale topic detection and language model adaptation
Layered learning
Localizer++: An Open Library for Local Search
Latent semantic analysis for text segmentation
Learning probabilistic subcategorization preference by identifying case dependencies and optimal noun class generalization level
Learning Bayesian network classifiers for facial expression recognition using both labeled and unlabeled data
Latency effects of system level power management algorithms
Linear segmentation and segment significance
Local relational model: A logical formalization of database coordination
Lightweight recoverable virtual memory
LANSF: A Protocol Modelling Environment and its Implementation
Large-scale parallel geophysical algorithms in Java: A feasibility study. Concurrency: Practice and Experience
Latency Tolerance through Multithreading in Large-Scale Multiprocessors
Learning from infinite data in finite time
Lexical discovery with an enriched semantic network
Language generation for multimedia healthcare briefings
Lexical acquisition with wordnet and the mikrokosmos ontology
Locality, hierarchy, and bidirectionality in the web
Large deviations for combinatorial distributions: I. Central limit theorems, The Annals of Applied Probability 6
Learning semantic similarity
Large-scale newscast computing on the Internet
Lexical disambiguation: sources of information and their statistical realization
Learning a translation lexicon from monolingual corpora
Learning the empirical hardness of optimization problems: The case of combinatorial auctions
Learning human interactions with the influence model
LCF Examples in HOL
Linear spatio-temporal scale-space
Lower bounds for monotone span programs
Linear Hashing
Learning spatiotemporal models from training examples
Learning and extracting initial mealy automata with a modular neural network model
Local Specification of Distributed Families of Sequential Objects
Language-Model Look-Ahead for Large Vocabulary Speech Recognition
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Limits of indirect branch prediction
Lossless regular views
Local representations and a direct voting scheme for face recognition
Learning support vector machines for a multi-view face model
Learning nonlinear dynamical systems using an EM algorithm
Latency and throughput tradeoffs in self-timed asynchronous pipelines and rings
Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions
Learning from examples with unspecified attribute values
Logics and Automata for Verification: Expressiveness and Decidability Issues
Learning the kernel matrix with semi-definite programming
Layered protocol wrappers for Internet packet processing in reconfigurable hardware
Linear consistency testing
Laser-based people tracking
Linearly bounded reformulations of conjunctive databases
Lifting as a KZ-doctrine
Local consistency for ternary numeric constraints
Learning to survive
Learning probabilistic models of relational structure
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability
Location-independent communication for mobile agents: a two-level architecture
Lazy replication: Exploiting the semantics of distributed services
Low-Cost Support for Fine-Grain Synchronization in Multiprocessors. Multithreading: A Summary of the State of the Art
Learning to control dynamic systems with automatic quantization
Learning matrix functions over rings
Localizer: A modeling language for local search
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations
Load balancing and data locality in adaptive hierarchical n-body methods: Barnes-hut, fast multipole, and radiosity
Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions
Layered Video Multicast with Retransmission (LVMR): Evaluation of hierarchical rate control
Learning Saccadic Eye Movements Using Multiscale Spatial Filters
Linking shared segments
Learning the persistence of actions in reactive control rules
Lectures in Simulation-Assisted Statistical Inference
Load Balancing for Multi-Projector Rendering Systems
Learning A Decision Rule for Monitoring Tasks with Deadlines
Logical Semantics of CafeOBJ
Learning spatio-temporal patterns for predicting object behaviour
Locating salient object features
Lifting transformations
Likelihood computations using value abstraction
Lower bounds for kinetic planar subdivisions
Low-power task scheduling for multiple devices
Location Proxies and Intermediate Node Forwarding for Practical Geographic Forwarding
Locality Aware Mechanisms for Large-scale Networks
Linearly Weak Keys of RC5
Low-authority controller design via convex optimization
Learning linear, sparse, factorial codes
Low-overhead software dynamic translation
Long-term file activity patterns in a unix workstation environment
Lens distortion calibration using point correspondences
Lazy abstraction
Lifelong robot learning
Least squares support vector machine classifiers
Loop transformations for performance and message latency hiding in parallel object-oriented frameworks
L-ALLIANCE: Task-Oriented Multi-Robot Learning in Behaviour-Based Systems
Linear deductive planning
Learning from demonstration
Logical Disk: A Simple New Approach to Improving File System Performance
Logic, Reasoning and A Programming Language for Simulating Economic and
Linux network traffic control --- implementation overview. Available at http://lrcwww.epfl.ch/linux-diffserv
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
Local blur estimation and super-resolution
Lattice code decoder for space-time codes
Limits to list decodability of linear codes
Linear multiuser receivers: Effective interference, effective bandwidth and user capacity
Logic programming semantics made easy
Large System Performance of Linear Multiuser Receivers in Multipath Fading Channels
Labelled Proofs for Quantified Modal Logic
Label placement by maximum independent set in rectangles
Linear multiuser receivers in random environments
Labelled Model Modal Logic
Local search with perturbations for the prize-collecting Steiner tree problem in graphs
Labelled tableaux for non-normal modal logics
Learning to parse pictures of people
Learning hierarchical object maps of non-stationary environments with mobile robots
Learning the statistics of people in images and video
Lightly supervised and unsupervised acoustic model training. Computer Speech and Language
Learning and tracking cyclic human motion
Learning by Creating and Justifying Transfer Frames
Language model adaptation for broadcast news transcription
Location based speaker segmentation
Local gain adaptation in stochastic gradient descent
Learning subjective nouns using extraction pattern bootstrapping
Latency versus Cost Optimizations in Hierarchical Overlay Networks
Logistic regression for data mining and high-dimensional classification
Largest placement of one convex polygon inside another
L.: Achieving dynamic interfaces with agents concepts
Lines and points in three views - an integrated approach
Learning decision lists
Linear gaps between degrees for the polynomial calculus modulo distinct primes
Low complexity byzantine-resilient consensus
Learning to learn with the informative vector machine
Load Profiling in Distributed Real-Time Systems
LIRS: An efficient low inter-reference recency set replacement policy to improve buffer cache performance
Load Balancing and Unbalancing for Power and Performance in Cluster-Based Systems
Lessons learned from building and using the Arjuna distributed programming system
Lower bounds for non-black-box zero knowledge
Latent energy environments
Logic level power estimation considering spatiotemporal correlations
Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-based Programs
Learning to Generate Semantic Annotation for Domain Specific Sentences
Locomotion mode affects the updating of objects encountered during travel: The contribution of vestibular and proprioceptive inputs to path integration. Presence: Teleoperators and Virtual Environments
Linguistic Knowledge can Improve Information Retrieval
Laplacian eigenmaps and spectral techniques for embedding and clustering
Lcw-based agent planning for the semantic web
Lightweight flexible isolation for language-based extensible systems
Learning methods to combine linguistic indicators: Improving aspectual classification and revealing linguistic insights
Learning and classification of complex dynamics
Large scale stabilization with linear feedback M.S
Learning to combine trained distance metrics for duplicate detection in databases
Learning discriminative feature transforms to low dimensions in low dimensions
Learning image statistics for Bayesian tracking
Latent dirichlet allocation
Learning to predict problematic situations in a spoken dialogue system: Experiments with how may I help you
Leveled commitment contracting among myopic individually rational agents
Linear higher-order pre-unification
Learning and tracking human motion using functional analysis, submitted
Learning class-to-class selectional preferences
Local search topology in planning benchmarks: An empirical analysis
LIBSVM: a library for support vector machines, 2001. Software available at http://www.csie.ntu.edu.tw/~cjlin/libsvm
Latency Effects on Reachability in Large-scale Peer-to-Peer Networks
LiteMinutes: An Internet-Based System for Multimedia Meeting Minutes
Local search characteristics of incomplete SAT procedures
Lexicalized Stochastic Modeling of Constraint-based Grammars using Log-linear Measures and EM Training
Learning subjective functions with large margins
Lossy source coding
Logic Programming and Negation: A Survey
layer restoration and network planning based on virtual protection cycles
Logic programming and knowledge representation
Lexical resource reconciliation in the Xerox Linguistic Environment
Learning spike-based correlations and conditional probabilities in silicon
Learning words from sights and sounds: A computational model
Linking object boundaries at scale: a common mechanism for size and shape judgements
Locally Testable Codes and PCPs of Almost-Linear Length
Leading best-response strategies in repeated games
Link analysis: Hubs and authorities on the world wide web
Logic form transformation of WordNet and its applicability to question answering
Lessons from The Lighthouse: Collaboration in a shared mixed reality system
Latent semantic indexing (lsi): Trec-3 report
Limited Reasoning in First-Order Knowledge Bases
Local versus global features for content-based image retrieval
Localized algorithms in wireless ad-hoc networks: Location discovery and sensor exposure
Logic Agents, Dialogues and Negotiation: An Abductive Approach
Longest common subsequence from fragments via sparse dynamic programming
Learning planning operators with conditional and probabilistic effects
Learning of variability for invariant statistical pattern recognition
Learning temporal probabilistic causal models from longitudinal data
Live-structure analysis for logic programming languages with declarations
Locking Protocols for Two-Tier Indexing of Partitioned Data
LumiPoint: Multi-User Laser-Based Interaction on Large Tiled Displays
Learning to match and cluster entity names
Locating nearby copies of replicated internet servers
Lines in one orthographic and two perspective views
Learning 2D shape models
Learning variable length markov models of behaviour
Linguistics as Data Mining: Dutch Diminutives
Leveled commitment contracts with myopic and strategic agents
Ligature instabilities in the perceptual organization of shape
Learning declarative control rules for constraint-based planning
Lower bounds for zero knowledge on the internet
Learn your opponent's strategy (in polynomial time
List decoding: Algorithms and applications
Locales are not pointless
Linear programming helps solving large multi-unit combinatorial auctions
Lively Linear Lisp --- 'Look Ma, No Garbage
Logical bilattices and inconsistent data
Laying out and visualizing large trees using a hyperbolic space
Limits to the performance of software shared memory: A layered approach
LH*g : a High-availability Scalable Distributed Data Structure by Record Grouping
Logic programming revisited: logic programs as inductive definitions
Low-Cost Thread-Level Data Dependence Speculation on Multiprocessors
Locating program features using execution slices
Learning of personal visual impression for image database systems
Location Systems for Ubiquitous Computing
Look-Ahead versus Look-Back for Satisfiability Problems
Level 3 Basic Linear Algebra Subprograms for sparse matrices: a user level interface
Languages, rewriting systems, and verification of infinite-state systems
LegionFS: A Secure and Scalable File System Supporting Cross-Domain High-Performance Applications
Learning a monolingual language model from a multilingual text database
Learning Digger using hierarchical reinforcement learning for concurrent goals
Linear programming boosting via column generation
Libsafe 2.0: Detection of format string vulnerability exploits. White paper, Avaya Labs
LRU-RED: An active queue management scheme to contain high bandwidth flows at congested routers
Localization for mobile robot teams: A maximum likelihood approach
Level Set Evolution with Region Competition: Automatic 3D Segmentation of Brain Tumors
Learning DNF over the uniform distribution using a quantum example oracle
Learning Indexing Functions for 3-D Model-Based Object Recognition
Logical definability on infinite traces
Large-scale active-set box-constrained optimization method with spectral projected gradients
Learning Domain Theories Using Abstract Background Knowledge
Limits on Speculative Module-level Parallelism
Loop fusion in High Performance Fortran
LAN traffic locality: Characterization and application
Logical relations and data abstraction
Limitations of TCP-ELFN for ad hoc networks
Loss-Based Inference of Multicast Network Topology
Local Basic Linear Algebra Subroutines (LBLAS) for distributed memory architectures and languages with an array syntax
Lightweight extraction of object models from bytecode
Learning response time for websources using query feedback and application in query optimization
Learning linear threshold approximations using perceptrons
Lakhal: Towards an object database approach for managing concept lattices
Limited-Memory Matrix Methods with Applications
Learning appearance models for object recognition
Lackwit: A Program Understanding Tool Based on Type Inference
List decoding algorithms for certain concatenated codes
Local logics for traces
Limits and approximations for the M/G/1 LIFO waiting-time distribution, submitted
Location Sensing and Privacy in a Context Aware Computing Environment. Pervasive Computing
Learning curve bounds for markov decision processes with undiscounted rewards
Log-Based Receiver-Reliable Multicast for Distributed Interactive Simulation
Lightweight computational steering of very large scale molecular dynamics simulations
Limits of control flow on parallelism
Local feature view clustering for 3D object recognition
Lazy release consistency for hardware-coherent multiprocessors
Lessons learned from the design of a mobile multimedia system in the Moby Dick project
Lower bounds on generic algorithms in groups
Linking information reconciliation and privacy amplification
Linear logic and computation: A survey
Low complexity aggregation
Lifetime behavior and its impact on web caching
Linear discriminant analysis for speechreading
Logic Partition Orderings for Multi-FPGA Systems
Limits on the performance benefits of multithreading and prefetching
Lower bounds for line stabbing
Latent semantic indexing via a semi-discrete matrix decomposition
Laplace transforms related to excursions of a one-dimensional diffusion
LogicBase: A deductive database system prototype
Level-confluence of conditional rewrite systems with extra variables in right-hand sides
Limits for paraconsistency calculi
Limitations of the Kerberos Protocol
Location dependent data and its management in mobile databases
Lopsided trees: analyses, algorithms, and applications
Lazy array data-flow dependence analysis
Low-Latency Handoff for Cellular Data Networks
LIRA: An Approach for Service Differentiation in the Internet
Learning human-like knowledge by Singular Value Decomposition: A progress report
Looking behind and beyond self-similarity: On scaling phenomena in measured WAN traffic
Learning visual features to predict hand orientations
Layout and language: Integrating spatial and linguistic knowledge for layout understanding tasks
Liability and Computer Security: Nine Principles
Local Error Recovery in SRM: Comparison of Two Approaches
LegORB and ubiquitous CORBA
Learning of oculo-motor control: a prelude to robotic imitation
Long-tail bu#er-content distributions in broadband networks
Leveraging mediator cost models with heterogeneous data sources
Large-scale Induction of Expressive Performance Rules: First Quantitative Results
Learning structurally indeterminate clauses
Learning to make rent-to-buy decisions with systems applications
Learning switching linear models of human motion
Local randomness in pseudo-random sequences
Lower Bound Cost Estimation for Logic Programs
Lutess: a specification-driven testing environment for synchronous software
Linking programs in a single address space
Lexical clustering and definite description interpretation
Learning view graphs for robot navigation
Low-Complexity Bit-Parallel Canonical and Normal Basis Multipliers for a Class of Finite Fields
Learning to improve both efficiency and quality of planning
Learning dictionaries for information extraction by multi-level bootstrapping
Learning to play strong poker
Lazy thread and task creation in parallel graph-reduction
Linear Space Algorithm for On-line Detection of Global Predicates
Light Parsing as Finite-State Filtering
Logical and computational properties of the description logic MIRTL
Language containment checking with nondeterministic BDDs
Learning from labeled and unlabeled data using graph mincuts
Large vocabulary decoding and confidence estimation using word posterior probabilities
Lift - the lisp framework for testing
Layered learning in genetic programming for a cooperative robot soccer problem
Ladder heights, Gaussian random walks, and the Riemann zeta function
Lightly Supervised Acoustic Model Training
Low-dimensional lattices VI: Voronoi reduction of three-dimensional lattices
Lazy unification with simplification
Local scale control for edge detection and blur estimation
Low-power wireless sensor networks
Leapfrogging: A Portable Technique for Implementing Efficient Futures
Landscapes, learning costs and genetic assimilation
Learning deterministic regular grammars from stochastic samples in polynomial time
Learner modelling for intelligent CALL
Learning internal representations in an attractor neural network with analogue neurons
Linear size binary space partitions for uncluttered scenes
Lifelines: Visualizing Personal Histories
Likelihood ratio gradient estimation for stochastic systems
Learning prototype-selection rules for case-based iterative design
Learning and implementation on the internet
Load-Sensitive Routing of Long-Lived IP Flows
Large scale structure after COBE: Peculiar velocities and correlations of cold dark matter halos
Linear phase perfect reconstruction filter bank: lattice structure, design, and application in image coding
Locating Singing Voice Segments within Music Signals
Loop checking and the well-founded semantics
Lower bounds for multi-label interval routing
Loss-less condensers, unbalanced expanders, and extractors
Linking By Inking: Trailblazing in a Paper-like hypertext
Learning and interacting in human-robot domains
Loop and Data Transformations: A Tutorial
Let-floating: Moving bindings to give faster programs
Linear-time, incremental hierarchy inference for compression
Linear time algorithms for some separable quadratic programming problems
Lag, drag, void and use -- heap profiling and spaceefficient compilation revisited
Learning domain-specific control knowledge from random walks
Landmark Extraction via Planning Graph Propagation
Locationing in distributed ad-hoc wireless sensor networks
Learning over sets using kernel principal angles
Learning question classifiers
Lower bounds for deterministic and nondeterministic branching programs
Lessons from a Sensor Network Expedition
Link-level measurements from an 802.11b mesh network
Learning in a state of confusion: Perceptual aliasing in grid world navigation
Learning Evaluation Functions for Global Optimization
Lower bounds on the E#ciency of Generic Cryptographic Constructions
Low latency workstation cluster communications using sender-based protocols