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
Bit Transposed Files
Banded Matrix Approach to Finite Element Modeling for Soft Tissue Simulation
Biological constraints on connectionist modelling
Bagging for linear classifiers
Basic theorems about security
BOXTREE: A Hierarchical Representation for Surfaces in 3D
Brief announcement: A space lower bound for name-independent compact routing in trees
Bayes nets in educational assessment: Where the numbers come from
Building trust in decentralized peer-to-peer electronic communities
Basic theory of reduction congruence for two timed asynchronous ??-calculi
Body Centred Interaction in Immersive Virtual Environments
Building Flexible and Cooperative Applications Based on e-Services
Bringing up robot: Fundamental mechanisms for creating a self-motivated, self-organizing architecture
Biasing symbolic search by means of dynamic activity profiles
Bandwidth allocation in ad hoc networks: a price-based approach
Battery Capacity Measurement and Analysis Using Lithium Coin Cell Battery
Beyond ???web of trust???: Enabling P2P E-commerce
Buffer control for communication over fading channels
Beamlets and multiscale image analysis
Bayesian and regularization methods for hyperparameter estimation in image restoration
Binary and multi-valued SPFD-based wire removal
Behavioral synthesis techniques for intellectual property protection
Building an interpreter with vmgen
Bounded-variable queries are PSPACE-complete
Bayesian neural networks with correlating residuals
Blocking
Bandwidth allocation heuristics in communication networks
Black-box analysis of the block-cipher-based hash-function constructions from pgv
Bit representations with a twist
Building firewalls with intelligent network interface cards
Boudec, On a Class of Time Varying Shapers with Application to the Renegotiable Variable Bit Rate Service
Browsing schedules - an agent-based approach to navigating the semantic web
Beyond synexpression relationships: Local clustering of time-shifted and inverted gene expression profiles identifies new, biologically relevant interactions
Bounded-error interactive ray tracing
Boolean satisfiability with transitivity constraints
Belief Update in the pGOLOG Framework
Business Process Coordination: State of the Art, Trends, and Open Issues
Block addressing indices for approximate text retrieval
Bayesian Mean Field Algorithms for Neural Networks and Gaussian Processes
Baclawski: Formal Verification of UML Diagrams: A First Step Towards Code Generation, OOPSLA???99
Bounded-skew clock and Steiner routing under Elmore delay
Bound constrained quadratic programming via piecewise quadratic functions
Building Open Programmable Multimedia Networks
Bayesian treatment of the independent Student-t linear model
Boundary corrections for the expected Euler characteristic of excursion sets of random fields, with an application to astrophysics
Bommel. An Evaluation of Linguistically-motivated Indexing Schemes
Bounded reachability checking with process semantics
Bias-variance tradeoffs analysis using uniform CR bound for image reconstruction
Bagging in Computer Vision
Better learners use analogical problem solving sparingly
Bounded model checking and induction: From refutation to verification
Beyond Structured Dialogues: Factoring Out Grounding
Benefits of limited wavelength conversion in wdm ring networks
Benchmarking attribute selection techniques for discrete class data mining
Beyond associative memories: logics and variables in connectionist networks, Information Sciences
Border-Block Triangular Form and Conjunction Schedule in Image Computation
Browsing and placement of multiresolution images on parallel disks
Boosting cooperation by evolving trust
Birattari: A Multi-Step-Ahead Prediction Method Based on
Behavioral coinductive rewriting
Bayesian Backfitting
Backbone fragility and the local search cost peak
Building behaviors developmentally: a new formalism
Bounding the depth of search trees
Binding Identities and Attributes Using Digitally Signed Certificates
Balanced Gray codes
Building a Resources Monitoring System for SMILE Beowulf Cluster
Building FIFO and Priority-Queuing Spin Locks from Atomic Swap
BiCMOS circuits for analog Viterbi decoders
Bayesian inference for generalized additive mixed models based on Markov random field priors
Biologically Inspired Fault-Tolerant Architectures for Real-Time Control Applications???, Control Engineering Practice
Building Knowledge Based Systems that Match the Decision Situation Using Ripple
Bayesian Approach to the Brain Image Matching Problem
Bucket elimination: A unifying framework for probabilistic inference
Bananas in space: Extending fold and unfold to exponential types
Bad codings and the utility of well-designed genetic algorithms
Backbones in optimization and approximation
Better Global Scheduling Using Path Profiles
Bootstrapping a distributed computational economy with peer-to-peer bartering
Boosting as a regularized path to a maximum margin classifier
Beacon vector routing: Scalable point-to-point routing in wireless sensornets
Bicriteria network design problems
Beltway: Getting around garbage collection gridlock
BIT: Bytecode instrumenting tool
Building Irregular Pyramids by Dual Graph Contraction
Bayesian modeling of facial similarity
Building topology-aware overlays using global soft-state
Bootstrapping lexical choice via multiple-sequence alignment
Beyond proof-of-compliance: Safety and availability analysis in trust management
Behaviour-based reinforcement learning
Bottom-up relational learning of pattern matching rules for information extraction
Bayesian mixed-effects models for recommender systems
Best Practice for Convolutional Neural Networks Applied to Visual Document Analysis
Bisimulation proof methods for mobile ambients
Bidding under uncertainty: Theory and experiments
Byzantine fault detectors for solving consensus
Best-path vs. multi-path overlay routing
Bayesian estimation of the Von Mises concentration parameter
Bellman goes relational
Beyond NP: the QSAT phase transition
Building Interoperable Databases on Distributed Object Management Platforms
Building robust learning systems by combining induction and optimization
Bounded-Concurrent Secure Multi-Party Computation with a Dishonest Majority
Breadth-first search crawling yields high-quality pages
Bovik, Multiresolution 3-D Range Segmentation Using Focus Cues
Boolean function representation using parallel-access diagrams
Biometric identification
Base noun phrase translation using web data and the EM algorithm
Beyond Best Effort: Router Architectures for the Differentiated Services of Tomorrow's Internet
Bigtable: A distributed storage system for structured data
Belief change and dependence
Behavior Networks for Continuous Domains using Situation-Dependent Motivations
Balancing domain decomposition for problems with large jumps in coefficients
Binary decision diagrams by shared rewriting
Boundary complexes of convex polytopes cannot be characterized locally
Billing users and pricing for tcp
Building an Extensible Operating System
Better algorithms for unfair metrical task systems and applications
Binding in models of perception and brain function
Byte Code Engineering
Bootstrap learning of foundational representations
Bootstrapping in Gnutella: A Measurement Study
Basic process algebra with iteration: Completeness of its equational axioms
Building scalable and robust peer-to-peer overlay networks for broadcasting using network coding
Basic Agents for Visual/Motor Coordination of a Mobile Robot
Bimanual and unimanual image alignment: an evaluation of mouse-based techniques
Bidimensional parameters and local treewidth
Biased Random Walks, Lyapunov Functions, and Stochastic Analysis of Best Fit Bin Packing
Bisimulations for a Calculus of Broadcasting Systems
Balanced graph partitioning
Building Hypermedia Applications as Navigational Views of Information Models
Behavior protocols capturing errors and updates
BDS: a BDD-based logic optimization system
Building performance topologies for computational grids
Blazing a trail: insect-inspired resource transportation by a robot team
Basis Reduction Algorithms and Subset Sum Problems
BTA algorithms to ensure termination of off-line partial evaluation
Buffer overflow asymptotics for a buffer handling many traffic sources
Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates
Building a LCS-Based Lexicon in TAGs
Balanced incomplete block design as satisfiability
Bounding the inefficiency of equilibria in nonatomic congestion games
Browsing semi-structured web texts using formal concept analysis
Bhattacharyya and expected likelihood kernels
Bipartite Graph Partitioning and Data Clustering
Backup path allocation based on a correlated link failure probability model in overlay networks
Biorthogonal polynomials and the bordering method for linear systems
Building Roadmaps of Local Minima of Visual Models
Bridging the gap between use case analysis and class structure design by formal concept analysis
BUILD-IT: A planning tool for construction and design
Bucket Hashing and its Application to Fast Message Authentication
Bounds on the time to reach agreement in the presence of timing uncertainty
Blind channel identification based on second-order statistics: A frequency-domain approach
Boosting in the Presence of Noise
Bayesian input variable selection using posterior probabilities and expected utilities
Bounded LTL model checking with stable models
Bounded Arithmetic and lower bounds in Boolean complexity
Basic Techniques for Numerical Linear Algebra on Bulk Synchronous Parallel Computers
Bayesian harmonic models for musical signal analysis
Bid selection strategies for multi-agent contracting in the presence of scheduling constraints
Baring it all to software: Raw machines
Ballegooij. CWI at the TREC-2002 Video Track
BibFinder/StatMiner: Effectively Mining and Using Coverage and Overlap Statistics in Data Integration
Blind channel estimation using the second-order statistics: Algorithms
Best-effort networks: Modeling and performance analysis via large networks asymptotics, in
Beyond Position Awareness
Building Large-Scale Prolog Programs using a Techniques Editing System. Research Paper 635
Blind identification and equalization based on second-order statistics: A time domain approach
Binding, Migration, and Scalability in CORBA
Bootstrap learning for place recognition
Bayesian support vector regression using a unified loss function
Bulk Loading Techniques for Object Databases and an Application to Relational Data
Beyond average: Towards sophisticated sensing with queries
Bidders??? Strategy for Multi-Attribute Sequential English Auction with a Deadline
Beyond memoryless distributions: Model checking semi-Markov chains
Backward symbolic execution of protocols
Boosting variant recognition with light semantics
Breaking an efficient anonymous channel
Bit-rate control using piecewise approximated rate-distortion characteristics
Bidtree ordering in IDA* combinatorial auction winner-determination with side constraints
Bubbles: Adaptive routing scheme for high-speed dynamic networks
Bridging textual ellipses
Bootstrapping bilingual data using consensus translation for a multilingual instant messaging system
Bitext maps and alignment via pattern recognition
Bayesian harmonic models for musical pitch estimation and analysis
Bug isolation via remote program sampling
Bootstrapping statistical parsers from small datasets
Building agent models in economic societies of agents
Building effective queries in natural language information retrieval
Bounded-Concurrent Secure Two-Party Computation Without Setup Assumptions
Beyond skeleton parsing: producing a comprehensive large-scale general-English treebank with full grammatical analysis
Basic Action Theory
Bandwidth allocation policies for unicast and multicast flows
B(PN) -- A Basic Petri Net Programming Notation
Brocade: Landmark routing on overlay networks
Bayesian model assessment and comparison using cross-validation predictive densities
Balls and Bins: a Study in Negative Dependence
Better algorithms for parallel backtracking
Binary vs. non-binary constraints
Building shape models from image sequences using piecewise linear approximation
Bayesian Optimization Algorithm, Decision Graphs, and Occam???s Razor
Building class sensitive models for tracking application
Building a digital model of Michelangelo???s Florentine Piet??
Boudec. Self-Organizing Wide-Area Routing
Bidirectional associative memories
Beating the logarithmic lower bound: randomized preemptive disjoint paths and call control algorithms
Belief ascription and mental-level modelling
Black-Box Concurrent Zero-Knowledge Requires ?? ???(log n) Rounds
Blocking in wavelength routing networks, Part I: The single path case
Bayesian grasping
Boosting applied to tagging and PP attachment
Bayesian nonparametric inference for nonhomogeneous Poisson processes
Bkd-tree: A dynamic scalable kd-tree
Bandwidth control for replicated-stream multicast video distribution
Bilateral negotiation with fees
Beyond shallow models of emotion
Bounded query classes and the difference hierarchy
Bisimulations for asynchronous mobile processes
Bayesian belief networks: odds and ends
Blind channel identification with modulation induced cyclostationarity
Building User Interfaces by Direct Manipulation
Bayesian reconstruction of 3d human motion from single-camera video
Building knowledge through families of experiments
Block-Level Prediction for Wide-Issue Superscalar Processors
Beyond hierarchies: Design considerations for distributed caching on the internet
Bayesian approach for neural networks -- review and case studies. Neural Networks
Boosting and maximum likelihood for exponential models
Browsing digital video
Bytecode Model Checking: An Experimental Analysis
Bluetooth scatternets: An enhanced adaptive scheduling scheme
Bayesian Estimation Methods for N-Gram Language Model Adaptation
Bisimilarity for a first-order calculus of objects with subtyping
Bisimulation for Labelled Markov Processes
Bisimulation from open maps
Beyond keyframing: An algorithmic approach to animation
Book recommending using text categorization with extracted information
Back to direct style II: First-class continuations
Binary relations for abstraction and refinement
Bistructures, bidomains and linear logic
BDD algorithms and cache misses
Bounded queries to SAT and the Boolean hierarchy
Bi-immunity results for cheatable sets
Bounded quantification with bottom
Balancing domain decomposition: Theory and performance in two and three dimensions
Basic problems in stability and design of switched systems
Bimodal multicast
Barrier Synchronization in Distributed-Memory Multiprocessors using Rendezvous Primitives
Boosting beyond static scheduling in a superscalar processor
Bayesian inference for agricultural field experiments
Beyond Interface Builders: Model-Based Interface Tools
Binocular self-alignment and calibration from planar scenes
Block and asynchronous two-stage methods for mildly nonlinear systems
Breast cancer survival and chemotherapy: A support vector machine analysis
Bringing the c libraries with us into a multi-threaded future
BerkMin: a fast and robust sat-solver
B.: Multi-layer clusters in ad-hoc networks - an approach to service discovery
Belief propagation and statistical physics
Beyond Data Models for Automated User Interface Generation
Binary Component Adaptation
Bayesian classification with Gaussian Processes
Boolean Classes
Bayesian logic programs
Burst tries: A fast, efficient data structure for string keys
Building better test functions
Bits through queues
Burst reduction properties of the leaky bucket flow control scheme in ATM networks
Building a Sense Tagged Corpus with Open Mind Word Expert
Bayesian face recognition using deformable intensity surfaces
Bounded explanation and inductive refinement for acquiring control knowledge
Bulk synchronous parallel algorithms for optimistic discrete event simulation
BLEU: A method for automatic evaluation of machine translation
BGP Routing Stability of Popular Destinations
Bi-decomposition and tree-height reduction for timing optimization
Building the mass storage system at Jefferson Lab
Batch value function approximation via support vectors
Broadcasting Messages in Fault-Tolerant Distributed Systems: the benefit of handling input-triggered and output-triggered suspicions differently
Bargaining with deadlines
Bytecode Verification for Java smart card
Boudec. Regulation of a connection admission control algorithm
Building Curves with Arbitrary Small MOV Degree over Finite Prime Fields
B-spline signal processing: Part I--theory
Byzantine Agreement Secure Against Faulty Majorities From Scratch
Bargaining with limited computation: Deliberation equilibrium
Breaking the Resource Bottleneck for Multilingual Parsing
Building an artificial immune network for decentralized policy negotiation
Basis Expansion Models and Diversity Techniques for Blind Identification and Equalization of TimeVarying Channels
Building a linguistically interpreted corpus of Bulgarian: the BulTreeBank
Buddy Systems
BioProspector: discovering conserved DNA motifs in upstream regulatory regions of co-expressed genes
Bayesian Gaussian Process Models: PAC-Bayesian Generalisation Error Bounds and Sparse Approximations
Breaking and repairing optimistic fair exchange from PODC 2003
Blocking linear algebra codes for memory hierarchies
Building large knowledge bases by mass collaboration
Bottom-up design of software agents
Being Bayesian about network structure
Bayesian decision theory, the maximum local mass estimate, and color constancy
Bistability in communication networks
Buffer block planning for interconnect-driven floorplanning
Bounded geometries, fractals, and low-distortion embeddings
Building Shared Graphical Editors Using the Abstraction-Link-View Architecture
Bidding algorithms for simultaneous auctions: a case study
Best-effort cache synchronization with source cooperation
Biterm Language Models for Document Retrieval
Backtracking algorithms for disjunctions of temporal constraints
Boolean functions for finite-tree dependencies
Boosting as entropy projection
Bayesian map learning in dynamic environments
Boosting combinatorial search through randomization
Bidding languages for combinatorial auctions
Bounded parameter Markov decision processes
Backjumping for quantified Boolean logic satisfiability
Bayesian classification theory
Behavior-based cooperative robotics applied to multi-target observation
Bibliometric Information Retrieval System (BIRS): A Web search interface utilizing bibliometric research results
BLACKBOX: A new approach to the application of theorem proving to problem solving
Branching constraint satisfaction problems for solutions robust under likely changes
Building Reliable, High-Performance Communication Systems from Components
BRITE: An Approach to Universal Topology Generation
Belief optimization for binary networks: a stable alternative to loopy belief propagation
Bandwidth-centric allocation of independent tasks on heterogeneous platforms
Behavioural subtyping relations for object-oriented formalisms
Beyond paper: Supporting active reading with free form digital ink annotations
Byzantine generals in action: Implementing fail-stop processors
Behavioral contracts and behavioral subtyping
Building a robust software-based router using network processors
Bit-level analysis of an srt divider circuit
Bounding Worst-Case Data Cache Performance
Broadcast disks: Data management for asymmetric communications environments
Biometric yet privacy protecting person authentication
Boolean and Cartesian Abstractions for Model Checking C Programs
Bayeux: An architecture for scalable and fault-tolerant wide-area data dissemination
Building low-diameter p2p networks
Building Concept Representations from Reusable Components
Bayesian Color Constancy for Outdoor Object Recognition
Bisimulation Congruences in Safe Ambients
Breaking generalized Diffie-Hellman modulo a composite is no easier than factoring
Basic Analytic Combinatorics of Directed Lattice Paths
Barehands: implement-free interaction with a wall-mounted display
Balancing Generality and Specificity in Document Management Systems
Bugs as deviant behavior: A general approach to inferring errors in systems code
Boosting Trees for Clause Splitting
Basic properties of real numbers
Building a distributed full-text index for the web
Boosted wrapper induction
Bidding and allocation in combinatorial auctions
Building a text adventure on description logic
Broadcasting on trees and the Ising model
Bayesian learning of sparse classifiers
BUILD-IT: A Computer Vision-based Interaction Technique for a Planning Tool
Breast cancer diagnosis and prognosis via linear programming
Boolean function representation based on disjoint-support decompositions
Building a high-performance, programmable secure coprocessor
BitValue inference: Detecting and exploiting narrow bitwidth computations
Bandwidth constrained placement in a WAN
Bain: The Justi of Logical Theories based on Data Compression
Beat extraction from expressive musical performances
Bit reversal on uniprocessors
Building equational proving tools by reflection in rewriting logic
Building Natural Language Generation Systems
Bifurcation and chaos in a simple passive bipedal gait
Branch-Width and Well-Quasi-Ordering in Matroids and Graphs
Bucket-like space partitioning data structures with applications to ray tracing
BUG: A Directed Bottom Up Generator for Unification Based Formalisms
Bounded ordered dictionaries in O(log log N) time and O(n) space
Bobnet: High-performance message passing for commodity networking components
Buffer management and flow control in the credit net ATM host interface
Bounds and Error Estimates for Radiosity
Blind predictions of local protein structure in casp2 targets using the i-sites library
Batch updates for key trees
Bootstrapping Color Constancy
Bluetooth ??? an Enabler for Personal Area Networking
Beyond query by example
Bias optimality in a queue with admission control
Bounded delay timing analysis of a class of CSP programs with choice
Building a Virtual Machine-Room { aFocal Point in Metacomputing, Future Generation
Bounds on Optical Bandwidth Allocation on Directed Fiber Tree Topologies
Building Domain Representations from Components
Broadband network design with controlled exploitation of ow convergence overloads in ATM VP-based restoration
Bayesian tree-structured image modeling using wavelet-domain hidden Markov models
Bayesian learning in reproducing kernel Hilbert spaces
Bayesian networks for dependability analysis: an application to digital control reliability
Browsing Image Collections with Representations of Commonsense Activities
Between mdps and semi-mdps: A framework for temporal abstraction in reinforcement learning
Byte code engineering with the bcel api
Better semijoins using tuple bit-vectors
Bidding for storage space in a peer-to-peer data preservation system
Bayes point machines
Boosting the correspondence between description logics and propositional dynamic logics
Bandwidth feedback control of TCP and real time sources
Bursty tracing: A framework for low-overhead temporal profiling