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
Nonholonomic mechanical systems with symmetry
Non-cumulative learning in METAXA.3
Normalizing German and English inflectional morphology to improve statistical word alignment
New Directions in Traffic Measurement and Accounting
Neighbor table construction and update in a dynamic peer-to-peer network
Network Objects
Natural language dialogue service for appointment scheduling agents
Neural mechanisms for response selection: Representation specific or modality independent
Natural Language in Four Spatial Interfaces
Natural discourse hypothesis engine
Natural language based reformulation resource and web exploitation for question answering
Navigation-driven evaluation of virtual mediated views
NEOS and Condor: Solving optimization problems over the Internet
Nonblocking multirate networks
Nash Equilibria for Combined Flow Control and Routing in Networks: Asymptotic Behavior for a Large Number of Users
New statistical models for randoms-precorrected PET scans
New Semantically Secure Public-Key Cryptosystems from the RSA-Primitive
NAS Parallel Benchmark Results 3-94
Network Bu er Requirements of the Rate-Based Control Mechanism for ABR Services. Dezember
Navigation for digital actors based on synthetic vision, memory and learning
Neural network approach to word category prediction for english texts
Nearest neighbor search for relevance feedback
Nonlinear filtering for speaker tracking in noisy and reverberant environments
Neural methods for dynamic branch prediction
Narratives as programs
Nonmonotonicity, user interfaces, and risk assessment in certificate revocation
Node-covering, Error-correcting Codes and Multiprocessors with Very High Average Fault Tolerance, " technical report
Nark: Receiver-based Multicast Non-repudiation and
Network-aware distributed computing: A case study
New human-computer interaction techniques
Near-optimal conversion of hardness into pseudo-randomness
Nice point sets can have nasty Delaunay triangulations
Network loss inference using unicast end-to-end measurement
Navigation and coordination primitives for multidimensional visual browsers
Named Entity Recognition from Diverse Text Types
New algorithms for resource reclaiming from precedence constrained tasks in multiprocessor real-time systems
Nesting Until and Since in linear temporal logic
Naming and integrity: Self-verifying data in peer-to-peer systems
Network Layer Support for Overlay Networks
Neural network applications in sensor fusion for an autonomous mobile robot
Navigational plans for data integration
Nested Junction Trees
Non-redundant genetic coding of neural networks
Noise adaptive stream weighting in audio-visual speech recognition
Non-null types in an object-oriented language
New results on binary space partitions in the plane
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract
Non-Intrusive Estimation of Web Server Delays
Notes on thread models in Mach 3.0
Nomad: A scalable operating system for clusters of uni and multiprocessors
Narcissists, stepmothers and spies
Network tomography for internal delay estimation
Next generation techniques for robust and imperceptible audio data hiding
Narrowing Approximations as an optimization for Equational Logic Programs
Near-collisions of SHA-0
Nonmonotonic Inferences in Neural Networks
Non-repudiation Evidence Generation for CORBA using XML
Nested Mixin-Methods in Agora
NeTra-V: Toward an object-based video representation
Non-interactive and reusable non-malleable commitment schemes
NeTra: a toolbox for navigating large image databases
Navigation system for the blind: Auditory display modes and guidance
News video classification using svm-based multimodal classifiers and combination strategies
Noun-phrase analysis in unrestricted text for information retrieval
Network Applications of Bloom Filters: A Survey
N for the price of 1: Bundling web objects for more efficient content delivery
Note on free lunches and cross-validation
New Technologies for Monitoring the Precision Alignment of Large Detector Systems
Named entity extraction based on a maximum entropy model and transformation rules
NETWORK: A computer simulation of the construction-integration model
N.: Libsafe: Protecting critical elements of stacks
Natural properties of abductive hypotheses in three-valued logic
Noise-tolerant rule induction from multi-instance data
Navigating Virtual Information Sources with Know-ME
N-gram-based text categorization
Nonmonotone trust region methods for nonlinear equality constrained optimization without a penalty function
NTCIR-2 ECIR experiments at Maryland: Comparing structured queries and balanced translation
Netcube: A scalable tool for fast data mining and compression
Nested transactions in a logical language for active rules
Nanofabrics: Spatial computing using molecular electronics
Nettimer: A Tool for Measuring Bottleneck Link Bandwidth
Non-Expansive Hashing
Nonlinear programming without a penalty function
Normalization by evaluation with typed abstract syntax
Notions of computation determine monads
Network topologies, power laws, and hierarchy
New options and insights for survivable transport networks
Non-uniform 2-d grid partitioning for heterogeneous parallel architectures
Non-parametric Local Transforms for Computing Visual Correspondence
NESL: A nested data-parallel language (version 2.6
Nested Java processes: OS structure for mobile code
Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems
Near-optimal reinforcement learning in polynomial time
Noninterference for concurrent programs and thread systems
Nsort: A parallel sorting program for NUMA and SMP machines
News Video Classification based on Semantic Attributes of Captions
Neither Friends nor Strangers: Informal Networks of Subcontracting
Non-Deterministic Games and Program Analysis: an application to security
Netdyn revisited: A replicated study of network dynamics
Noise suppression in cellular communications
Network Friendly Video Streaming via Adaptive LMS Bandwidth Control
Networking reconfigurable smart sensors
Non-functional policies
Nailboards: A rendering primitive for image caching in dynamic scenes
Navigation Methods for an Augmented Reality System
Negotiation On Data Allocation in Multi-Agent Environments
Notes on sconing and relators
Notification, disruption, and memory: Effects of messaging interruptions on memory and performance
Nasa rover and telerobotics technology program
Network visualization with the VINT network animator nam
New approaches to the design of self-synchronizing stream ciphers
Needed Narrowing in Prolog
Network support for multicast video distribution
Needed Narrowing in Prolog (Extended Abstract
Nearest Neighbors in Random Subspaces
New models and algorithms for programmable networks
Navigation in Textual Virtual Environments using a City Metaphor
NORA/HAMMR: Making deduction-based software component retrieval practical
Named entity extraction from speech
Next cache line and set prediction
Nonmonotonic behavior in hard-core and Widom-Rowlinson models
NACSIS Corpus Project for IR and terminological research
Nomadic Computing
Named entity extraction from speech: Approach and results using the TextPro system
Network-Based Multicomputers: An Emerging Parallel Architecture
Negotiating the Construction of Organisational Memory Using Hypermedia Argument Spaces. Workshop on Knowledge Media for Improving Organisational Expertise
Near optimal algorithms for computing Smith normal forms of integer matrices
Noise Variance Estimation in Images
Nonlinear feature transforms using maximum mutual information
New performance driven routing techniques with explicit area/delay tradeoff and simultaneous wire sizing
NetProf: Network-based High-level Profiling of Java Bytecode
Network interface for message-passing parallel computation on a workstation cluster
Nonmonotonic reasoning in LDL
Node allocation and topographical encoding (NATE) for inverse kinematics of a redundant robot arm - learning without a teacher
New models for pseudo self-similar traffic
Negative selection and niching by an artificial immune system for network intrusion detection
Newton-Krylov-Schwarz methods in CFD
NCSTRL+: Adding Multi-Discipline and Multi-Genre Support to the Dienst Protocol Using Clusters and Buckets
NetSolve: A network server for solving computational science problems
Network dynamics: An experimental study of the Internet
Neumann-Neumann domain decomposition algorithms for solving 2D elliptic problems with nonmatching grids
National Geographic unplugged: Classroom-centered design of interactive nature films
Natural signal statistics and sensory gain control
Nested-dissection orderings for sparse LU with partial pivoting
Natural 3-valued Logics--- Characterization and Proof Theory
Nomadic radio: speech & audio interaction for contextual messaging in nomadic environments
New protocols for third-party-based authentication and secure broadcast
Natural Language Processing and Information Retrieval
Negotiation for automated generation of temporal multimedia presentations
Nash convergence of gradient dynamics in general-sum games
Neural networks and complexity theory
Network Calculus
Not Checking for Closure under Stuttering
Neural networks: what non-linearity to choose
NetCents: A lightweight protocol for secure micropayments
Nested Dynamic Actions - How to Solve the Fault Containment Problem in a Cooperative Action Model
Networking Applications of the Hierarchical Mode of the JPEG Standard
Nonapproximability results for partially observable Markov decision processes
New algorithms for 2D and 3D point matching: Pose estimation and correspondence
Non-parametric classes of weight functions to model publication bias
NETMATE: A Network Management Environment
Network performance modeling for PVM clusters
NetBill security and transaction protocol
Notes on FEC supported congestion control for one to many reliable multicast. Working Draft
Noise, sampling, and efficient genetic algorithms. Doctoral dissertation
Net Partitions Yield Better Module Partitions
NAOS efficient and modular reactive capabilities in an object-oriented database system
Nitpick: A checkable specification language
New differential geometric methods in nonholonomic path finding
Network-aware Mobile Programs
Navigating nuclear science: Enhancing analysis through visualization
New bounds for lower envelopes in three dimensions, with applications to visibility in terrains
Network Flow Based Multi-Way Partitioning with Area and Pin Constraints
NS Simulator Tests for Random Early Detection (RED) Queue Management
Neural Approaches to Independent Component Analysis and Source Separation
Nonuniform discretization for kinodynamic motion planning and its applications
Network Latency Metrics for Server Proximity
Neural Networks for Optimization Problems with Inequality Constraints: The Knapsack Problem
New developments in automatic meeting transcription
Nested queries in object bases
Navigating clustered graphs using force-directed methods
NP-Hardness of some linear control design problems
Network security via private-key certificates
New Notions of Reduction and Non-Semantic Proofs of Beta Strong Normalization in Typed Lambda Calculi
Next century challenges: Data-centric networking for invisible computing
Nonlinear programs with unbounded Lagrange multiplier sets
Neural control of rhythmic arm movements
Network Support for Network-Attached Storage
Network Algorithms and Protocol for Multimedia Servers
Netmon: network management for the SARAS softswitch
Naive Bayes and Exemplar-based approaches to word sense disambiguation revisited
New sampling-based summary statistics for improving approximate query answers
Nonlinear discriminant analysis using kernel functions
Network aware time management and event distribution
NFTAPE: A framework for assessing dependability in distributed systems with lightweight fault injectors
Network assisted power control for wireless data
New Multi-Party Authentication Services and Key Agreement Protocols
Next Century Challenges: Mobile Networking for Smart Dust
Netlib services and resources
Network routing
NAS parallel benchmark (version 1.0) results
NFS version 3 design and implementation
Non-serializable executions in heterogeneous distributed database systems
Nondeterminism and probabilistic choice: obeying the laws
Nonlinear interpolation of topic models for language model adaptation
Necessary conditions for Liouvillian solutions of (third order) linear differential equations
NTI: A Network Time Interface M-Module for high-accuracy clock synchronization
New linear program performance bounds for queueing networks
Natural deduction for intuitionistic non-commutative linear logic
Nearly sharp complexity bounds for multiprocessor algebraic computations
Nonprehensile Two Palm Manipulation with Non-Equilibrium Transitions Between Stable States
Network optimizations for large vocabulary speech recognition
Neweyes: A System for Comparing Biological Sequences Using the Running Karp-Rabin Greedy String-Tiling Algorithm
Natural Language Processing Using a Propositional Semantic Network with Structured Variables
nets, traces, and local model checking
Near-realtime satellite image processing: Metacomputing
New Anticipatory Load Balancing Strategies for Parallel A* Algorithms
Negotiation-based protocols for disseminating information in wireless sensor networks
Near-optimal routing lookups with bounded worst case performance
Normal forms for partitions and relations
NetSolve: A network-enabled server for solving computational science problems
New results in the schema theory for GP with one-point crossover which account for schema creation, survival and disruption
Native-Language-Based Distributed Computing Across Network and Filesystem Boundaries
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
Next century challenges: Scalable coordination in sensor networks
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction
New ideas for solving covering problems
Nonlinear force fields: a distributed system of control primitives for representing and learning movements
New methods for using Cayley graphs in interconnection networks
Networks and Distributed Computation
Networking Performance for Microkernels
Nested expressions in logic programs
Netpipe: A network protocol independent performace evaluator
Network-Based Information Brokers
Non-axiomatic reasoning system (version 2.2
Navigating the meldc the meldc user 's manual
Nogood learning for constraint satisfaction
Natural basis functions and topographic memory for face recognition
NCL: A Common Language for Achieving Rule-Based Interoperability among Heterogeneous Systems
Navigating hierarchically clustered networks through fisheye and full-zoom methods
Non-commutative elimination in Ore algebras proves multivariate identities
Nearest neighbor classification in 3D protein databases
Natural Expert: a commercial functional programming environment
Networking requirements for interactive video on demand
Newton's method for large bound-constrained optimization problems
NASA Langley's research and technology transfer program in formal methods
Networks of spiking neurons: The third generation of neural network models
Non-linear Multiresolution Relaxation for Alerting
Nonsmooth analysis of eigenvalues
Normative multiagent systems and trust
Nonintrusive Remote Healing Using Backdoors
Non-cooperative routing in loss networks
Needed Expressiveness for Representing Features and Customer Requirements
Network based concurrent computing on the pvm system
No free lunch theorems for optimization
Network emulation in the VINT/NS simulator
Non-physical intervention in robot learning based on lfe method
NetCash: A Design for Practical Electronic Currency on the Internet
Non-blocking supervisory control of nondeterministic systems via prioritized synchronization
Navigating 3d steel web structures with an inchworm robot
Nondeterministic bounded query reducibilities
Neural Mechanisms Underlying Processing in the Visual Areas of the Occipital and Temporal Lobes
Neural networks for optimal approximation of smooth and analytic functions
Navigation without localisation: a reactive network approach
Novel neural network prediction systems for human promoters and splice sites
Nonuniform spatial mesh adaption using a posteriori error estimates: applications to forward and inverse problems
Notions of input to output stability
Neural representation of space in rats and robots
Normal forms and cut-free proofs as natural transformations
Noncommutative power series and formal lie-algebraic techniques in nonlinear control theory
New geometric methods for computer vision: An application to structure and motion estimation
New sequences of linear time erasure codes approaching the channel capacity
New coding techniques for improved bandwidth utilization
Neural network music composition by prediction: exploring the benefits of psychoacoustic constraints and multi-scale processing
Neural networks in human motion tracking - an experimental study
Network Interface Active Messages for Low Overhead
Named entity recognition without gazetteers
New Results on Quantifier Elimination Over Real Closed Fields and Applications to Constraint Databases
Navigating with an animal brain : a neural network for landmark identification and navigation
Nonlinear control and combinatorics of words
Non-automatizability of bounded-depth Frege proofs
Non-singular data transformations: Definition, validity, applications
Neural networks for preventive traffic control in broadband ATM networks
Nonlinear registration of brain images using deformable models
New Techniques for Deterministic Test Pattern Generation
Newton-KrylovSchwarz: An implicit solver for CFD
Non-- parametric similarity measures for unsupervised texture segmentation and image retrieval
Non-systematic search and learning: An empirical study
Network support for multimedia a discussion of the tenet approach
Non-Standard Crossover for a Standard Representation
N degrees of separation: Multi-dimensional separation of concerns
Noise-tolerant learning, the parity problem, and the statistical query model
Necessary conditions for global stability of multiclass queueing networks
Negation as Instantiation
Near minimal weighted word graphs for post-processing speech
New Results for the Analysis of Deterministic and Stochastic Petri Nets
Needed narrowing as the computational strategy of evaluable functions in an extension of Godel
Nested dissection: A survey and comparison of various nested dissection algorithms
New Constructions for Covering Designs
New NFS Tracing Tools and Techniques for System Analysis
N-map: A virtual processor discrete event simulation tool for performance predicition in capse
Natural-language retrieval of images based on descriptive captions
NPSNET: Flight Simulation Dynamic Modeling Using Quaternions
NT-SwiFT: Software Implemented Fault Tolerance for
Navier-Stokes, fluid dynamics, and image and video inpainting
Navigating Large Networks with Hierarchies
Negotiating a multidimensional framework for relevance space. In this volume
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
New programming languages for
Network subsystem design: A case for an integrated data path
Near-linear time construction of sparse neighborhood covers
Non-Linear Approximations in Linear Cryptanalysis
Netbait: A distributed worm detection service
Nonlinear Approximation Based Image Recovery Using Adaptive Sparse Reconstructions and Iterated Denoising
Novel approaches to the indexing of moving object trajectories
Neural Network Analysis of Minerva Scene Analysis Benchmark
Navigation by Combining Reactivity and Planning
Negotiating trust on the grid
Negotiated formations
Navigation and mapping in large-scale space
Near optimal hierarchical encoding of types
Nearest common ancestors: A survey and a new distributed algorithm
NetLogger: A Toolkit for Distributed System Performance Analysis
Nonmonotonic causal theories
Nonparametric belief propagation
Natural Language Access to Visual Data: Dealing with Space and Movement
Non-disjoint unions of theories and combinations of satis procedures: First results
Neko: A single environment to simulate and prototype distributed algorithms
Nps: A non-interfering deployable web prefetching system
NAP: Practical fault-tolerance for itinerant computations
Natural Language Generation
Nomlex: A lexicon of nominalizations
News Story Segmentation in the F??schl??r Video Indexing System
Natural language information retrieval: Trec-5 report
New Paradigms for Computing in the Nineties
Noncommutative Symmetric Functions and Laplace Operators for Classical Lie Algebras
Novel Architectures for P2P Applications: the Continuous-Discrete Approach
Natural language annotations for the Semantic Web
Necessary and sucient conditions for representing general distributions by Coxians
Nonlinear diffusion in graphics hardware
Non-texture inpainting by curvature-driven diffusions (CDD
Non-Preemptive Scheduling of Messages on controller Area Network for Real-Time Control Applications
NCSA's World Wide Web Server: Design and Performance
Network layer mobility: an architecture and survey
Named entity recognition through classifier combination
NetBench: A benchmarking Suite for Network Processors
Non-Hybrid Example-Based Machine Translation Architectures
Neighbourhood components analysis
NeXTSTEP Reference
Noisy Polynomial Interpolation and Noisy Chinese Remaindering
New distributed algorithm for connected dominating set in wireless ad hoc networks
Navigation Patterns and Usability of Zoomable User Interfaces With and Without an Overview
NAS Parallel Benchmark Results
Nivelle. Deciding regular grammar logics with converse through first-order logic
Native code compilation in SICStus Prolog
Negotiation and cooperation in multi-agent environments
Neural reinforcement learning for behaviour synthesis
Navigating a robotic wheelchair in a railway station during rush hour
Negotiation decision functions for autonomous agents
Numerica: a Modeling Language for Global Optimization
Nonlinear planning with parallel resource allocation
Numerical algebraic geometry
Nondeterminism in patterns
No bad dogs: Ethological lessons for learning in Hamsterdam
New approaches to password authenticated key exchange based on rsa
Noncommutative Geometry
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision
Nonlinear component analysis as a kernel eigenvalue problem
Numerical Relativity in a Distributed Environment
New lower bounds for parallel computation
Normalization by evaluation for typed lambda calculus with coproducts
Nymble: a High-Performance Learning Name-finder
Non-intersecting paths, random tilings and random matrices
New estimates for Ritz vectors
NYU: Description of the MENE Named Entity System as Used in MUC-7
Npsnet: A network software architecture for large scale virtual environments
Nusmv 2: An opensource tool for symbolic model checking
New Algorithm for Discussing Gr??bner Bases with Parameters
NPSNET: Hierarchical data structures for real-time three-dimensional visual simulation
Nominal logic, a first order theory of names and binding
Nonlinear blind source separation using kernel feature spaces
Noncommutative symmetric functions II: Transformations of alphabets, Int
Naive (Bayes) at forty: The independence assumption in information retrieval
Nominal logic: A first order theory of names and binding
Nominal Unification
No registration needed: How to use declarative policies and negotiation to access sensitive resources on the semantic web
Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics
Numerical analogues of Aronson's sequence
Natural proofs
Nested Transactions and Read/Write Locking
Novelty and reinforcement learning in the value system of developmental robots
New figures of merit for best-first probabilistic chart parsing
Numerical methods for p-harmonic flows and applications to image processing
Nonconcatenative finite-state morphology
Normal state implicature
Normal approximations of the number of records in geometrically distributed random variables, Random Structures and Algorithms
Neighborhood inverse consistency preprocessing
Non-structural subtype entailment in automata theory
Numerical Aspects in the Data Model of Conceptual Information Systems
Never Look Back: An Alternative to Centering
New models and algorithms for future networks
Normalized Cuts and Image Segmentation
N-view point set registration: A comparison
Numerical factorization of multivariate complex polynomials
Nested abnormality theories
Numerical solution of large nonsymmetric eigenvalue problems
Numerical libraries and the grid: The GrADS experiments with scalapack
New estimates for multilevel algorithms including the V-cycle
Nomadic Pict: Language and infrastructure design for mobile agents
Non-linear point distribution modelling using a multi-layer perceptron
Normalization by Evaluation for the Computational Lambda-Calculus
Nonlinear Mapping from Multi-View Face Patterns to a Gaussian Distribution in a Low Dimensional Space
Neuroanimator: Fast neural network emulation and control of physics-based models
Neural Programming and an Internal Reinforcement Policy
New bounds on crossing numbers
Nimrod: A Tool for Performing Parametised Simulations using
Neural representation of space using sinusoidal arrays
Networks and the best Approximation Property
Neural network exploration using optimal experiment design
Notes on Minka's Expectation Propagation for Gaussian process classi cation
Nonexistence of Brownian models of certain multiclass queueing networks. Queueing Systems: Theory and Applications
Noise Tolerant Algorithms for Learning and Searching
New ranking algorithms for parsing and tagging: Kernels over discrete structures, and the voted perceptron
Non-Determinism in Deductive Databases
NuSMV: a new symbolic model checker
Non-linear scale-spaces isomorphic to the linear case with application to scalar, vector and multispectral images
NuSmv: a reimplementation of smv
New directions for uncertainty reasoning in deductive databases
Noise reduction in a statistical approach to text categorization
New and faster filters for multiple approximate string matching
Natural language syntax and first order inference
New Data Structures for Orthogonal Range Searching
New generation of secure and practical RSA-based signatures
Numerical inversion of multidimensional Laplace transforms by the Laguerre method, Perf
New improved error bounds for the linear complementarity problem
Noninterference for concurrent programs
Non-crossing two-rowed arrays and summations for Schur functions
Natural deduction and coherence for weakly distributive categories
NP-SPEC: An executable specification language for solving all problems
Noise robustness of EBNN learning
NIST???s 1998 Topic Detection and Tracking evaluation (TDT2
Nuglets: a virtual currency to stimulate cooperation in self-organized ad hoc networks
Numerical inversion of probability generating functions
Numerical results on the transcendence of constants involving
Novel iteration schemes for the cluster variation method
Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages
Nonoscillatory central schemes for multidimensional hyperbolic conservation laws
NYU language modeling experiment for 1996 CSR evaluation
Non-oscillatory central differencing for hyperbolic conservation laws
NTRU: A Ring-Based Public Key Cryptosystem
Normal form algorithms for extended context-free grammars
Natural actions, concurrency and continuous time in the situation calculus
New Media, New Practices: Experiences in Open Learning Course Design," Submitted to
Novel view synthesis in tensor space
Non-linear bayesian image modelling
New Features for Confidence Annotation
Near-Optimal Plans, Tractability, and Reactivity
Non-Malleable Cryptography
Numeric-symbolic algorithms for evaluating one-dimensional algebraic sets
Nonlinear and non-Gaussian state-space modeling with Monte Carlo techniques: A survey and comparative study
Nonlinear and non-Gaussian state space modeling using sampling techniques
Nodose - a tool for semi-automatically extracting structured and semistructured data from text documents
New dimensions in heap profiling
Nonmonotonic reasoning in the framework of situation calculus
Not all hits are created equal: Cooperative proxy caching over a wide area network
Numerical methods and software for sensitivity analysis of differential-algebraic systems
Number-theoretic constructions of ecient pseudo-random functions
Noise removal via Bayesian wavelet coring
Nomadic Radio: A Spatialized Audio Environment for Wearable Computing
Noun Phrase Coreference as Clustering
Nomadic Radio: Speech and audio interaction for contextual messaging in nomadic environments
Numerical irreducible decomposition using projections from points on the components
Non-interactive and non-malleable commitment
Nonlinear prediction of chaotic time series using support vector machines
Numerical methods for hyperbolic conservation laws with stiff relaxation
New methods for competitive coevolution
Nonlinear approximation and adaptive techniques for solving elliptic equations, in: Multiscale Techniques for PDEs
Non-restoring integer square root: A case study in design by principled optimization
Nonlinear PCA type approaches for source separation and independent component analysis
Nondeterministic lisp as a substrate for constraint logic programming
Numerical decomposition of the solution sets of polynomial systems into irreducible components
Nonlinear wavelet shrinkage with Bayes rules and Bayes factors
Novel view synthesis by cascading trilinear tensors
Numerical time integration for air pollution models
Niching Methods for Genetic Algorithms
Non-malleable encryption: Equivalence between two notions, and an indistinguishability-based characterization
Notes on Formalizing Context
Noise elimination in inductive concept learning: A case study in medical diagnosis
New Features for CORBA 3.0
Nonblocking and orphan-free message logging protocols
N-Way Conferencing with Packet Video
Non-consistent dual register files to reduce register pressure
Numeric state variables in constraint-based planning
Nonconjugate Bayesian estimation of covariance matrices and its use in hierarchical models
Nonuniform dynamic discretization in hybrid networks
Nondeterministic actions and the frame problem
Neural Net Architectures for Temporal Sequence Processing
Next generation web search: Setting our sites
Non-trivial power types can't be subtypes of polymorphic types
Numerical solution of large Lyapunov equations
Nomenclator Descriptive Query Optimization for Large X.500 environments
Nomadic Pict: Correct communication infrastructures for mobile computation
Neural Network-Based Face Detection
NuSMV: A new symbolic model verifier
Non-intrusive gaze tracking using artificial neural networks
Nimrod/G: An Architecture for a Resource Management and Scheduling
Nivelle. A superposition decision procedure for the guarded fragment with equality
Nonlinear magnification fields
New methods for 3-SAT decision and worst-case analysis
Neural sequence chunkers
Numerical computation of multivariate normal probabilities
Noise strategies for improving local search
NSTAT: A Model-based Real-time Network Intrusion Detection System
Numerical reasoning with an ILP system capable of lazy evaluation and customised search
Note on the location of optimal classifiers in n-dimensional ROC space
Noise-tolerant parallel learning of geometric concepts
Norms of Functions of Matrices
Non-blocking algorithms for concurrent data structures
Normal and Sinkless Petri Nets
Noun homograph disambiguation using local context in large text corpora
No-longer-foreign: Teaching an ML compiler to speak C ???natively
New and Improved Constructions of Non-Malleable Cryptographic Protocols
Norm governed multiagent systems: The delegation of control to autonomous agents
Numerical solution of piecewise-stationary M t /G t /1 queues
New finite pivoting rules for the simplex method
Nonlinear optimization framework for image-based modeling on programmable graphics hardware
NPSNET: constructing a 3D virtual world
Nonlinear pattern matching in trees
Nondeterministic algebraic specifications and nonconfluent term rewriting
Numeration systems, linear recurrences, and regular sets
Non-Uniform Random Variate Generation
Newsweeder: Learning to filter netnews
Non-Euclidean restricted memory level method for large-scale convex optimization
Nonmonotonic inference based on expectations
Non-projective dependency parsing using spanning tree algorithms
New methods in automatic extracting
New insights on architectural connectors
Non-local cellular automata
Numerical analysis of superposed GSPNs
Numerical methods for algebraic Riccati equations
Notes on present status and future prospects
Nightingale: A New Two-Server Approach for Authentication with Short Secrets
New Techniques for Best-Match Retrieval
Number of symbols in Frege proofs with and without the deduction rule
New techniques for efficient verification with implicitly conjoined BDDs
New results on the complexity of p-center problems
Nondeterministic extensions of untyped -calculus
Near-perfect token distribution
Nonlinear nonequilibrium statistical mechanics approach to C 3 systems
Novel techniques for the design and control of Generalized Processor Sharing schedulers for multiple QoS classes
Nilpotent bases for a class of non-integrable distributions with applications to trajectory generation for nonholonomic systems
Numerical stability and instability in matrix sign function based algorithms
NYU: description of the Proteus/PET system as used for MUC-7
Non-ideal Battery Properties and Low Power Operation in Wearable Computing
Numerical methods for inverse singular value problems