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
Fast multiple-precision evaluation of elementary functions
Finite state machine binary entropy coding
FASTUS: A finite-state processor for information extraction from real-world text
Fourier Descriptors for Plane Closed Curves
Frontier search
From type inference to configuration
Faster generalized LR parsing
Forming neural networks through efficient and adaptive coevolution
Falcon: Boosting knowledge for answer engines
Finding Nearest Neighbors in Growth-restricted Metrics
Formal orthogonality on an algebraic curve
First-Solution Search with Symmetry Breaking and Implied Constraints
FlexRAM: Toward an advanced intelligent memory system
Formal Implementation of a Verification Algorithm Using the B Method
Finding relevant documents using top ranking sentences: An evaluation of two alternative schemes
Fast implementations of AES candidates
From quantity to quality
From instance-level constraints to space-level constraints: making the most of prior knowledge in data clustering
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects
F.Roli: Multiple Reject Thresholds for Improving Classification Reliability
FEATURES: real-time adaptive feature learning and document learning for web search. submitted for publication
Fast pose estimation with parameter-sensitive hashing
FARSITE: Federated, available, and reliable storage for an incompletely trusted environment
Financial information integration in the presence of equational ontological conflicts
Finding surprising patterns in a time series database in linear time and space
Flexible os support and applications for trusted computing
FastSLAM: A factored solution to the simultaneous localization and mapping problem
Fast and proven secure blind identity-based signcryption from pairings
Flow Caml in a nutshell
Functional speci cation of real-time and hybrid systems
Formal Verification of Superscalar Microprocessors with Multicycle Functional Units
Fairness and stability of congestion control mechanisms of TCP
Formal modelling and simulation in the development of a security-critical message processing system
Full-System Timing-First Simulation
Fast sampling of Gaussian Markov random fields
Formal parametric polymorphism
Fusion and simultaneous execution in the refinement calculus
Fine-grained network time synchronization using reference broadcasts
Fine-grained dynamic instrumentation of commodity operating system kernels
Formal Performance Modeling and Evaluation of an Adaptive Mechanism for Packetized Audio over the Internet
Finding Collisions on a Public Road, or Do Secure Hash Functions Need Secret Coins
Formulae for Arithmetic on Genus 2 Hyperelliptic Curves
Fast solution of Toeplitz systems of equations and computation of Pad'e approximants
Function Variables for Constraint Programming
From TreeBank to PropBank
Fragment class analysis for testing of polymorphism in java software
Formalizing Implementation Strategies for First-Class Continuations
Finding golf courses: The ultra high tech approach
Functional abstraction driven design space exploration of heterogeneous programmable architectures
Face analysis for the synthesis of photo-realistic talking heads
Fast evolution strategies
Fast prefix matching of bounded strings
Fast pose estimation with parameter sensitive hashing
Formal proofs for the security of signcryption
Factoring multivariate polynomials via partial differential equations
Fast Firewall Implementations for Software and Hardware-based Routers
FASD: A Fault-tolerant, Adaptive, Scalable, Distributed Search Engine
Fast Packet Classification for Two-Dimensional Conflict-Free Filters
Fast forward selection to speed up sparse gaussian process regression
Facial analysis and synthesis using image-based models
Flexible Authentication of XML documents
Fastest mixing Markov chain on a graph
Feature based condensation for mobile robot localization
Foundations of the trace assertion method of module interface specification
Finding approximate solutions to NP-hard problems by neural networks is hard
Federated DAFS: Scalable Cluster-based Direct Access File Servers
Fast Content-Based Packet Handling for Intrusion Detection
Frequency estimates for statistical word similarity measures
Fast sparse Gaussian Process methods: The informative vector machine
Fine-Grained Rate Shaping for Video Streaming over Wireless Networks
Frequent value locality and value-centric data cache design
Fast Linear Iterations for Distributed Averaging
Fixed-parameter algorithms for the (k; r)- center in planar graphs and map graphs
Fault detection capabilities of coupling-based oo testing
Fast Ray Tracing Using K-D Trees
Fast PDA synchronization using characteristic polynomial interpolation
Finding independent sets in a graph using continuous multivariable polynomial formulations
Flux: An adaptive partitioning operator for continuous query systems
Fast, Optimized Sun RPC using Automatic Program Specialization
Freeness Analysis in the Presence of Numerical Constraints
Formal development of an embedded verifier for Java Card byte code
Feature-rich statistical translation of noun phrases
FAB: Enterprise storage systems on a shoestring
Fine grained access control for soap e-services
Features and formulae
Finite set constraints in Oz
Formal methods in knowledge engineering
From business process model to consistent implementation: A case for formal verification methods
Fast Robust Logistic Regression for Large Sparse Datasets with Binary Outputs
Feature Automata and Recognizable Sets of Feature Trees
Fast Vertical Mining Using Diffsets
Fast string matching using an n-gram algorithm
Factoring Large Numbers with the TWIRL Device
FCA-Merge: Bottom-up merging of ontologies
Fast address lookups using controlled prefix expansion
Fast realistic human body deformations for animation and vr applications
Fault identi cation in computer networks: A review and a new approach
Feature trees over arbitrary structures
Fault-tolerant internal clock synchronization
Fitting Gaussian Markov random fields to Gaussian fields
From submit to submitted via submission: On lexical rules in large-scale lexicon acquisition
Framsticks: Towards a simulation of a nature-like world, creatures and evolution
Fast Access Control Decisions from Delegation Certificate Databases
Feedback control with queueing-theoretic prediction for relative delay guarantees in web servers
Formalization of the CA Action Concept Based on Temporal Logic. Design for validation (deva) basic esprit project. second year report. part 2
From Secrecy to Authenticity in Security Protocols
Fundamental concepts of object oriented databases
Flexible information discovery in decentralized distributed systems
From Reference Frames to Reference Planes: Multi-View Parallax Geometry and Applications
Foundations of Deductive Object-Oriented Database Systems
Fast and flexible application-level networking on exokernel systems
Focused Simulated Annealing Search: An Application to Job Shop Scheduling
Flexible protocol specification and execution: applying event calculus planning using commitments
Finding plagiarisms among a set of programs with JPlag
Functional limit theorems for multitype branching processes and generalized P??lya urns. Stochastic Process
Face and feature finding for a face recognition system
Foundations for a Theory of Mind for a Humanoid Robot
Finding the neighborhood of a query in a dictionary
Feasible interior methods using slacks for nonlinear optimization
Formal verification of an automotive engine controller in cutoff mode
Fail-awareness in timed asynchronous systems
Finite-state multimodal parsing and understanding
Forward and backward reasoning in automatic abstracting
From regular images to animated heads: A least squares approach
Functional Computation as Concurrent Computation
Footskate cleanup for motion capture editing
Finding close friends on the internet
Face detection by aggregated bayesian network classifiers
Fast approximations for sums of distances, clustering and the Fermat-Weber problem
First-order logic with two variables and unary temporal logic
Formal verification of conflict detection algorithms
Further Results on Partial Order Equivalences on Infinite Systems
Factored particles for scalable monitoring
Faster deterministic dictionaries
Formatting Strings in ML
Finding syntactic structure in unparsed corpora: The Gsearch corpus query system
Feature detection with automatic scale selection
Fully dynamic all pairs shortest paths with real edge weights
Functional Unparsing
From total order to database replication
Fast priority queues for cached memory
Fast concurrent access to parallel disks
Fast and efficient lossless image compression
Finite-State Speech-to-Speech Translation
Focus Plus Context Screens: Combining Display Technology with Visualization Techniques
Fast adaptive calculation of invariant features
Face recognition from long-term observations
Facial expression recognition from video sequences
Fusion of perceptual cues using covariance estimation
Fpga fingerprinting techniques for protecting intellectual property
Forwarding in a content-based network
Factors affecting the ability of energy functions to discriminate correct from incorrect folds
FEC and pseudo-ARQ for receiver-driven layered multicast of audio and video
Failure Detectors in Omission Failure Environments
From Scientific Software Libraries to Problem-Solving Environments
Fast constructive recognition of a black box group isomorphic to Sn or An using Goldbach???s conjecture
Floor Acquisition Multiple Access (FAMA) for Packet-Radio Networks
Fast Speaker Adaptation of Large Vocabulary Continuous Density HMM Speech Recognizer using a Basis Transform Approach
Failure-atomic file access in an interposed network storage system
Fast multiresolution surface meshing
First-order system least squares for the Stokes equations, with application to linear elasticity
Frequency offset and symbol timing recovery in flat-fading channels: A cyclostationary approach
Feasible formations of multi-agent systems
Full Abstraction for PCF
Face recognition by dynamic link matching
Fully Dynamic Biconnectivity in Graphs", Algorithmica 13
Finding smooth integers in short intervals using CRT decoding
Finding good column orderings for sparse qr factorization
Faster proof checking in the Edinburgh Logical Framework
Fast parallel absolute irreducibility testing
Fault-tolerant replication management in large-scale distributed storage systems
False Sharing and its effect on shared memory performance
Fast polynomial factorization over high algebraic extensions of finite fields
Feature-Based Control of Visibility Error: A Multiresolution Clustering Algorithm for Global Illumination
Frame rate and viseme analysis for multimedia applications
Formal Verification of an Avionics Microprocessor
Feature generation using general constructor functions
Feedback control scheduling in distributed systems
Faithful ideal models for recursive polymorphic types
Forward and backward simulations part II: timing-based systems
From Databases to Web-Bases: The ARANEUS Experience
Funkspiel Schemes: an Alternative to Conventional Tamper Resistance
Flexibility, manageability, and performance in a grid storage appliance
Free-sets: a condensed representation of Boolean data for the approximation of frequency queries
From asymmetry to full symmetry: New techniques for symmetry reduction in model checking
Fast image-based object localization in natural scenes
Finding the medial axis of a simple polygon in linear time
Formal Methods in Safety-Critical Standards
Fast object operations in a persistent programming system
Feature selection for face detection
Fine-Grained Control of Java Applets Using a Simple Constraint Language, MIT/LCS/TR-713
Fast parallel computation of Hermite and Smith forms of polynomial matrices
Finding replicated web collections
Flexible alias protection
Formal Speci cations in Software Maintenance: From code to Z ++ and back again
FUGU: Implementing translation and protection in a multiuser, multimodel multiprocessor
Formal methods and software safety
Footprints: History-Rich Web Browsing
Feature normalization for video indexing and retrieval
Function-based indexing for object-oriented databases
Filtered document retrieval with frequency-sorted indexes
Formalized mathematics
Further comparisons of algorithms for geometric intersection problems
Functional Specification for a High-Performance Network Interface Unit on a Peripheral Bus
Foresight-based pricing algorithms in an economy of software agents
Filter propagation in dissemination trees: Trading off bandwidth and processing in continuous media networks
Filaments: Efficient support for fine-grain parallelism
Finding Data in the Neighborhood
Face Recognition By Elastic Bunch Graph Matching
Finely-competitive paging
Fault-tolerant distributed garbage collection in a client-server object-oriented database
Future multimedia user interfaces
From multiple images to a consistent view
First experiences with bluetooth in the smart-its distributed sensor network
Fast visual tracking by temporal consensus
Fault detection effectiveness of mutation and data flow testing
Focus and phrasing in Unification Categorial Grammar
Finding shortest paths in the presence of orthogonal obstacles using a combined L 1 and link metric
From Boolean to probabilistic Boolean networks as models of genetic regulatory networks
Fast Indexing: Support for size-changing algorithms in stackable file systems
Feature-based product line instantiation using source-level packages
FiST: A File System Component Compiler
Feature tracking with automatic selection of spatial scales
Fully Symbolic Model Checking of Timed Systems using Dierence Decision Diagrams
Fusing logic and control with local transformations: An example optimization
Factorization-based segmentation of motions
Federated File Systems for Clusters with Remote Memory Communication
Fast and secure distributed read-only file system
Fast Reconfigurable Crossbar Switching in FPGAs
Filter Fusion
Finding Small Equivalent Decision Trees is Hard
Forward-secure signatures with fast key update
Functional logic overloading
Fast curvature matrix-vector products for second-order gradient descent
FIG: A prototype tool for online verification of recovery mechanisms
Finite metric spaces - combinatorics, geometry and algorithms
Feature selection using multi-objective genetic algorithms for handwritten digit recognition
Feedback control for real-time scheduling
Fast and Accurate Robot Vision for Vision based Motion
Flexible coordination in resource-constrained domains. Final Report for ARPA Contract F30602-90-C-0119, Rome Laboratory
From programs to object code using logic and logic programming
File System Usage in Windows NT 4.0
Formal verification of memory circuits by switch-level simulation
Finding user/kernel pointer bugs with type inference
Fast analytical computation of Richards's smooth molecular surface
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
Flocking by the fusion of sonar and active infrared sensors on physical autonomous mobile robots
Formal proof of smart card applets correctness
Formalising the UML in Structured Temporal Theories
Finding frequent items in data streams
From manual to semi-automatic semantic annotation: About ontology-based text annotation tools
Full Text Parsing using Cascades of Rules: an Information Extraction Perspective
Fairness of adaptive multimedia applications
FINESSE: A financial information spreadsheet
Facilitating the Exchange of Explicit Knowledge Through Ontology Mappings
Flow network models for word alignment and terminology extraction from bilingual corpora
Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model
Face recognition by independent component analysis
Flexible Open Caching for the Web
Finding overlapping distributions with MML
Fast retrieval of similar subsequences in long sequence databases
Field robots
File and Object Replication in Data Grids
Factoring large numbers with the TWINKLE device
Freedom 2.1 Security Issues and Analysis
Faster approximate string matching
Flux maximizing geometric flows
Fault detection by mining association rules from house-keeping data
Finding feasible counter-examples when model checking abstracted Java programs
Feature selection for high-dimensional genomic microarray data
First-Order Theory of Subtyping Constraints
From design to intention: signs of a revolution
Face recognition from frontal and profile views
Fast and robust tracking of multiple moving objects with a laser range finder
Face processing: Human perception and principal components analysis
F??schl??r on a PDA: Handheld User Interface Design to a Video Indexing, Browsing and Playback System
Finding four million large random primes
Flow insensitive C++ pointers and polymorphism analysis and its application to slicing
Formal groups
Fuzzy random fields and unsupervised image segmentation
Fast and robust classification using asymmetric AdaBoost and a detector cascade
Finegrain Application Specific Customization for Embedded Systems
Fixing Two BSD TCP Bugs
Functional nets
Fault detection for byzantine quorum systems
Formalizing the repair process
Formal Analysis of the Kerberos Authentication System
Flashback: A lightweight extension for rollback and deterministic replay for software debugging
From perception-action loops to imitation processes: A bottom-up approach of learning by imitation
Fast lighting independent background subtraction
Formal verification of the VAMP floating point unit
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
Fluid interaction with high-resolution wall-size displays
Factorization methods for structure from motion
From Checking to Inference via Driving and Dag Grammars
Fast evaluation techniques for complex similarity queries
Fast and Efficient Equivalence Checking based on NAND-BDDs
Feature binding and relaxation labeling with the competitive layer model
Formal verification of a basic circuits library
From structural UML diagrams to Timed Petri Nets
From LFG structures to TIGER treebank annotations. Workshop on Syntactic Annotation of Electronic Corpora
Frankenstein classifiers : Some experiments on the Sisyphus data set
From business model to process pattern in e-commerce
Fractional Brownian motion and data traffic modeling: The other end of the spectrum
Fast approximate string matching in a dictionary
Functional query optimization over object-oriented views for data integration
Finding the parts of objects in range images
FeedbackBypass: A New Approach to Interactive Similarity Query Processing
Facilitating Network Data Exploration with Query Previews: A Study of User Performance and Preference
Fast Correlation Attacks Through Reconstruction of Linear Polynomials
Functional Programming Formalisms for OODB Methods
Finding Fixpoints in Finite Function Spaces Using Neededness Analysis and Chaotic Iteration
Fortran D language specification
FlowMap: An optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs
From Differential Cryptanalysis to Ciphertext-Only Attacks
Finite element approximation of a fourth order nonlinear degenerate parabolic equation
Fault models for embedded systems
Fast Multiscale Image Segmentation
Fiat and bona fide boundaries
Flooding for reliable multicast in multi-hop ad hoc networks
Further algorithmic aspects of the local lemma
Fiat Objects
Faster algorithms for bound-consistency of the sortedness and the alldi#erent constraint
Fast algorithm for optimal error protection of embedded wavelet codes
Formal model and implementation of the Java Card dynamic security policy
From semistructured data to XML: Migrating the Lore data model and query language
Faster algorithms for the nonemptiness of Streett automata and for communication protocol pruning
Fault