Raising ML to the Power of System F 2003-02-03 Coordinated CPU and Event Scheduling for Distributed 2002-12-12 Presence Production in a Distributed Shared Virtual Environment for Exploring Mathematics 2002-10-28 HDLGen: Architecture Description Language driven HDL 2003-04-21 On the Deng-Lin Random Number Generators and Related Methods 2003-03-25 Renee Touzin Easy Impossibility Proofs for Distributed Consensus Problems 2002-12-06 On Limits and Possibilities of Automated Protocol Analysis 2002-01-14 Gerard J. Holzmann A Hybrid MILP/CP Decomposition Approach for the 2003-03-28 With 2000-05-02 Diana Gabrielle Maynard Industrial Experience with SPARK 2001-12-11 Roderick Chapman An Objective Approach to Relative Valuation 2000-12-28 Ruben D. Cohen Centrum voor Wiskunde en Informatica Probability, Networks and Algorithms 2003-01-21 Conclusions From The Academic Exchange In Engineering At Undergraduate Level 2002-08-27 Motion Detection Using Support Vector Machines 2002-11-20 A multimodal browser to navigate and search information on the Web 2002-10-07 Solving Distributed Constraint Optimization Problems Optimally, Efficiently and Asynchronously 2003-03-25 Approximate Object Location and Spam Filtering on Peer-to-peer Systems 2003-03-15 By Low Density Parity Check Codes 2002-06-28 Updating Probabilities 2002-10-30 Fetal ECG Extraction using an FIR Neural Network 2001-06-18 Trajectory planning under a Stochastic Uncertainty 2002-05-16 International Conference on Engineering Education August 18--21, 2002, Manchester, U.K. 2002-08-27 Sergei Muchin A Comparison Of A Priori Threshold Setting Procedures For Speaker Verification In The Cave Project 2001-02-16 Towards Accountable Management of Identity and Privacy: Sticky Policies and Enforceable Tracing Services 2003-04-06 Data Page Layouts for Relational Databases on Deep Memory Hierarchies 2003-03-10 Overcast: Reliable Multicasting with an Overlay Network 2002-10-19 International Conference on Engineering Education August 18-21, 2002, Manchester, U.K. 2002-08-27 Enno ed Koehn 3D Digital Cleansing using Segmentation Rays 2003-02-09 Cluster Assignment and Instruction Scheduling for Partitioned Register-Set Machines 2002-08-12 Jing He Decidability of Strong Bisimilarity for Timed BPP 2002-06-07 Exploring the VLSI Scalability of Stream Processors 2003-02-14 A New Property of Laguerre Functions 2002-05-16 A Computational Model For Simulating Continuous Time Boolean Networks 2002-10-01 Fast and Scalable Priority Queue Architecture for High-Speed Network Switches 2002-04-26 Self-Stabilizing Distributed File Systems Extended Abstract 2002-11-21 Bundling Predictors in R 2003-03-05 Torsten Hothorn Efficient Channel Scheduling Algorithms in Optical Burst Switched Networks 2003-02-28 Stochastic grammatical inference with Multinomial Tests 2002-08-08 Christopher Kermorvant Virtuality Builder H 2002-12-04 Scheduling of Frame-based Embedded Systems with Rechargeable 2001-07-05 Magnetic Layers With Periodic Point 2002-12-18 K. Nemcova Three Aspects Of Intelligent Cooperation In The Quality Cycle 2001-04-20 Evaluating security tools towards usable security: A usability taxonomy for the evaluation of security tools based on a categorization of user errors 2002-04-19 When is an Embedded MT System "Good Enough" for Filtering? Clare R. Voss 2002-11-20 A Statistical Analysis of the Long-Run Node Spatial Distribution in Mobile Ad Hoc Networks 2002-08-20 Stylistic Grammars in Language Translation 2003-02-14 Increasing Formality in the Specification of High-Quality Information Systems in a Commercial Context 2002-04-16 Paul A. Swatman The Communication Requirements of Efficient Allocations and Supporting Lindahl Prices 2003-03-25 International Conference on Engineering Education August 18--21, 2002, Manchester, U.K. 2002-08-27 Peter Moson And/Or trees revisited 2002-12-31 Optimal Energy Allocation for Delay-Constrained Data Transmission over a Time-Varying Channel 2003-02-28 An Examination of Some Factory Physics Principles 2002-10-25 A Probabilistic Approach To The Conceptual Design Of A Ship-Launched 2003-04-17 Measuring Subsample Time Delay Differences in . . . 1999-03-25 Expert Systems In Finance - A Cross-Section Of The Field 2002-12-12 A Utility Framework for the Automatic Generation of Audio-Visual Skims 2003-02-26 Using A Corpus For Teaching 1995-07-12 Using Semantically Motivated Estimates to Help Subcategorization Acquisition 2002-11-20 Anna Korhonen Towards `motivating' Instructional 2000-06-07 Consistency Conditions for Multi-Object Distributed Operations 2002-01-23 Introducing Reliability in Content-Based Publish-Subscribe through Epidemic Algorithms 2003-04-04 Design and Implementation of a Policy-Based Resource Management Architecture 2003-01-22 Document Transformations and Information States 2002-11-20 International Conference on Engineering Education August 6 -- 10, 2001 Oslo, Norway IMPROVING THE QUALITY OF TECHNOLOGICAL EDUCATION: A 2001-09-24 Congestion Avoidance in Computer Networks With a Connectionless Network Layer: Concepts, Goals and Methodology 2002-12-06 Banked Multiported Register Files for High-Frequency Superscalar Microprocessors 2003-04-15 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL. 24, NO. 4, APRIL 2002 1 A Comparison of Algorithms fo! Connected 2002-04-03 Optimal Sequencing of Dynamic Multileaf 2003-03-26 The Facility Location Problem with Concave Cost Functions 2002-11-06 Using Induction to Prove Properties of Distributed Programs 2002-01-24 DBMiner: A System for Data Mining in 2001-12-31 Multiagent Teamwork: Analyzing the Optimality and 2002-05-07 Compressing Hexahedral Volume Meshes 2003-04-04 IEEE 68 Computer 2003-04-09 Codesign For Plan-Driven Ubiquitous Computing 2003-04-19 A Unification-based Approach to Morpho-syntactic Parsing of 2002-04-04 Unknown 2002-10-24 Representation and Detection of Deformable Shapes 2003-03-27 Pedro F. Felzenszwalb A Remark on Unified Error Exponents: Hypothesis Testing, Data Compression&Measure Concentration 2002-12-02 How to Upgrade Propositional Learners to First Order Logic: a CaseStudy 2002-08-05 Application of k-Nearest Neighbor on Feature 1998-10-09 Managing DataQual2 y in Cooperative Information Systems Massimo Mecella 2003-01-20 Global Stabilization of a Linear Plant by Means of a Pulse-Frequency Modulated Signal 2003-01-15 A. N. Churilov Multimodal 2003-03-25 Alexander Clark An Analysis of a Hybrid Optimization Method for Variational Data Assimilation 2003-03-14 Which Directions for Asymmetric Watermarking? 2002-10-23 The Role of Lexical and Contextual Information in Parsing 2002-12-17 PTC: Proxies that Transcode and Cache in Heterogeneous Web Client Environments 2002-10-23 Striping for Interactive Video: Is it Worth it? 2003-01-14 Memory Efficient Adaptation of Vector Quantizers to Time-Varying Channels 2003-04-22 Calculating Dense Disparity Maps from Color Stereo Images, an Efficient Implementation 2002-11-29 From French vocabulary to the Unified Medical Language System: A preliminary study 2001-11-27 Network-supported Rate Control Mechanism for Multicast Streaming Media 2001-05-27 Role Allocation and Reallocation in Multiagent Teams: Towards A Practical Analysis 2003-03-07 Unknown 2002-11-27 Improved Approximation Algorithms for Resource Allocation 2002-02-17 Design and Evaluation of a High-Performance Dynamically Extensible Router 2002-08-20 RITA: Receiver Initiated Just-in-Time Tree Adaptation for Rich Media Distribution 2003-04-22 Distributed User Tracking Concepts for Augmented Reality Applications 2003-03-24 Connecting Brains with Machines: The Neural Control of 2D Cursor Movement Michael J. Black 2003-02-19 Authenticated Append-only Skip Lists 2003-02-07 Simplification with Renaming: A general proof technique for tableau and sequent-based provers 2002-01-15 Fabio Massacci A Remark on P-Summing Norms of Operators 2002-11-13 Artem Zvavitch Assessing Preference Change on the U.S. Supreme Court 2002-10-29 DTD-Driven Bilingual Document Generation 2002-11-20 Using and Enhancing the current MPEG-7 standard for a music content processing tool 2003-04-07 NTT's QA Systems for NTCIR QAC-1 2003-01-16 A Router Supported Framework for Multicast Video Distribution 2002-06-05 Getting Robots, Agents and People to Cooperate: An Initial Report 2003-01-18 Programming with Logical Links: Design of the LMNtal language Extended Abstract 2002-11-19 siGis-015-1998 June 30, 1998 1998-09-08 Two Generalizations of Komlós' Theorem with Lower Closure-Type Applications 1997-06-11 Mobile Robotics in the Long Term - Exploring the Fourth Dimension 2001-10-22 Countability in Japanese to English Machine Translation 2002-12-11 The MiningMart Approach 2002-07-02 Distance Meetings in Formal Groups 2002-10-28 CLAM: An OO Framework for Developing Audio and Music Applications 2003-01-23 Ad Hoc Mobility Management With 2002-01-15 Why: A Multi-Language Multi-Prover Verification Tool 2003-03-12 Scheduling Algorithms for Multicast Traffic in TDM/WDM Networks with Arbitrary Tuning Latencies 2003-01-27 Conceptual Analogy 2000-06-04 Generalized Pigeonhole Properties of Graphs and Oriented Graphs 2003-04-15 Metarule-Guided Mining of Multi-Dimensional Association Rules 2001-12-31 A Summarization System With Categorization of Document Sets 2003-01-16 A Two-Tier Distributed Electronic Design Framework 2002-02-11 Mesh-Based Scalable Video Coding with Rate-Distortion Optimization 2000-07-27 A General Expression for Bimolecular Association Rates with Orientational Constraints 2002-11-20 Maximilian Schlosshauer Adaptive Navigation Support in Educational Hypermedia: An Evaluation of the ISIS-Tutor 2003-02-13 ID based Cryptosystems with Pairing on Elliptic Curve 2003-03-25 Interoperability as a Design Issue in C++ Based Modeling 2001-11-03 Spatial Restoration with Reduced Boundary Error 2002-05-28 Software Engineering Management Research Laboratory 1998-04-07 The Flood-Gate Principle - a Hybrid Approach to a 2003-04-07 Battery Power Sensitive Video Processing in Wireless Networks 2000-07-22 Semidefinite Programming Relaxations for Semialgebraic Problems 2003-02-11 Pablo A. Parrilo Construction of Genomic Networks Using Mutual-Information Clustering and Reversible-Jump MCMC Predictor Design 2002-09-26 Recursive Decoding Procedures for Minimizing the Bit Error Probability for Block and Convolutional Codes 2002-11-07 Vladimir B. Balakirsky MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow 2000-02-10 Federations of Process Support Systems 2000-09-26 Jacky Estublier MetaLex: Legislation in XML 2002-11-12 Digital Waveguide Mesh Modelling of Room Acoustics: Improved Anechoic Boundaries 2002-10-15 A Distributed Algorithm for Managing Multi-Target Identities in Wireless Ad-hoc Sensor Networks 2003-04-12 Architecture Exploration of Parameterizable EPIC SOC Architectures 2000-02-11 An Improved Randomized Selection Algorithm With an Experimental Study 2002-06-27 David A. Bader M-convex and L-convex Fuctions over the Real Space 2002-07-27 Kazuo Murota Process Calculi and the Verification of Security Protocols 2002-12-20