DCS/LCSR Technical Reports

DCS/LCSR Technical Reports

Select here for a list of older Technical Reports available via pdf or only on paper.
Catalog
Number
Abstract
(select)
Postscript
(select)
Report
Title
Report
Author(s)
cap-tr-10
The FAD Project C. W. Liew, L. Steinberg
cap-tr-11
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design Thomas Ellman, John Keane, Mark Schwabacher
cap-tr-13
Constrained REDO: An Alternative to REPLAY C. W. Liew, L. I. Steinberg
cap-tr-14
Abstraction and Decomposition in Hillclimbing Design Optimization Thomas Ellman, Mark Schwabacher
cap-tr-15
Approximation Operators in Distributed Modeling Sui-ky Ringo Ling and Louis Steinberg
cap-tr-16
Modeling and Simulation for Automated Yacht Design Andrew Gelsey
cap-tr-17
Learning Prototype-Selection Rules for Case-Based Iterative Design Mark Schwabacher, Haym Hirsh, Thomas Ellman
cap-tr-18
MSG: A Computer System for Automated Modeling of Heat Transfer Sui-ky Ringo Ling, Louis Steinberg, Yogesh Jaluria
cap-tr-2
Combining Innovation and Perspiration Louis Steinberg
cap-tr-21
Intelligent Automated Quality Control for Computational Simulation Andrew Gelsey
cap-tr-6
PROGRESS REPORT FOR YEAR 2 OF THE RESEARCH GRANT ON AI AND DESIGN: Saul Amarel, PI, Louis Steinberg, Co-PI, Tom Ellman, Andrew Gelsey,Haym Hirsh, Jerry Richter
cap-tr-7
The Rutgers CAP Project Design Associate Thomas Ellman, John Keane, Mark Schwabacher
cap-tr-8
Artificial Intelligence Research Issues in Computational Simulation of Physical System Behavior Andrew Gelsey
cap-tr-9
Model Generation from Physical Principles: A Progress Report Ringo Ling and Louis Steinberg
dcs-tr-282
Frugal Methods for the Independent Set and Graph Coloring Problems. Magnus M. Halldorsson
dcs-tr-290
SHAPE: A Parallelization Tool for Sparse Matrix Computations Sesh Venugopal, Vijay K. Naik
dcs-tr-291
An Efficient Algorithm for Ordering Random Genomic Clones Kyungsook Han, Michiel Noordewier
dcs-tr-292
Lower and Upper Bounds for Incremental Algorithms Arthur Michael Berman
dcs-tr-294
LECTURE NOTES ON THE NEW AKS SORTING NETWORK V. Chv\'atal
dcs-tr-295
Description Logics are not just for the FLIGHTLESS-BIRDS: A New Look at the Utility and Foundations of Description Logics Alex Borgida
dcs-tr-295a
On the Relationship between Description Logic and Predicate Logic Queries. Alex Borgida,
dcs-tr-296
Mobile Wireless Computing: Solutions and Challenges in Data Management Tomasz Imielinski, B. R. Badrinath
dcs-tr-297
Lower Bounds for Uniform Constant Depth Circuits Vivek Gore
dcs-tr-299
Scheduling and Code Generation for Parallel Architectures Tao Yang
dcs-tr-300
Parallelizing Unstructured Sparse Matrix Computations on Large-scale Multiprocessors Seshadri Venugopal
dcs-tr-301
Schema Correspondences between Objects Vipul Kashyap, Amit Sheth
dcs-tr-306
Theoretical Foundations of Recurrent Neural Networks Hava T. Siegelmann
dcs-tr-307
Semantics-based Information Brokering Vipul Kashyap and Amit Sheth
dcs-tr-308
Compositional Modeling for Spatial Problems Kyungsook Han
dcs-tr-310
A framework for delivering multicast messages in networks with mobile hosts Arup ACHARYA and B. R. BADRINATH
dcs-tr-311
PYRAMID BROADCASTING for VIDEO ON DEMAND SERVICE S. Viswanathan & T Imielinski
dcs-tr-312
Adaptive Wireless Information Systems T Imielinski & S. Viswanathan
dcs-tr-313
Parallel Triangulation of a Set of Points for Coarse Grained Multicomputers Gabriela Hristescu
dcs-tr-314
I-TCP: Indirect TCP for Mobile Hosts Ajay Bakre and B.R. Badrinath
dcs-tr-315
An Inter-Reference Gap Model for Temporal Locality in Program Behavior Vidyadhar Phalke, B. Gopinath
dcs-tr-316
Using Spatial Locality for Trace Compression B. Gopinath, Vidyadhar Phalke
dcs-tr-318
Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network Vipul Gupta
dcs-tr-319
Finding pattern matchings for permutations Louis Ibarra
dcs-tr-320
DATAMAN project: Towards a Mosaic-like Location-Dependant Information Service for Mobile Clients Arup Acharya, Tomasz Imielinski and B. R. Badrinath
dcs-tr-321
Tractable Reasoning in Knowledge Representation Systems Mukesh Dalal
dcs-tr-322
ON THE COMPLEXITY OF MATRIX BALANCING B. Kalantari, L. Khachiyan, and A. Shokoufandeh
dcs-tr-323
MODELING AND MANAGING PROGRAM REFERENCES IN A MEMORY HIERARCHY Vidyadhar Phalke, Ph.D.
dcs-tr-324
Database Server Organization for Handling Mobile Clients B. R. Badrinath and Shirish Phatak
dcs-tr-325
COMPUTING INTEGRAL POINTS IN CONVEX SEMI-ALGEBRAIC SETS L.~Khachiyan and L.~Porkolab
dcs-tr-326
Scalable, flow-sensitive type inference for statically typed object-oriented languages Ramkrishna Chatterjee and Barbara Ryder
dcs-tr-328
GENERALIZATION OF TAYLOR'S THEOREM AND NEWTON'S METHOD VIA A NEW FAMILY OF DETERMINANTAL INTERPOLATION FORMULAS Bahman Kalantari
dcs-tr-329
ON THE ORDER OF CONVERGENCE OF A DETERMINANTAL FAMILY OF ROOT-FINDING METHODS Bahman Kalantari
dcs-tr-330
A LOWER BOUND ON DETERMINANTS FROM LINEAR PROGRAMMING Bahman Kalantari
dcs-tr-331
Automated Classification of DNA Structure from Sequence Information David M. Loewenstern, Helen M. Berman and Haym Hirsh
dcs-tr-332
Hardness and Algorithms for Local Register Allocation V. Liberatore M. Farach Ulrich Kremer
dcs-tr-333
On Providing Support For Protocol Adaptation in Mobile Wireless Networks P. Sudame, B. R. Badrinath
dcs-tr-334
On the Complexity of Real and Integer Semidefinite Programming Lorant Porkolab
dcs-tr-335
Comparing Flow- and Context-Sensitivity on the Modification Side-effects Problem P. A. Stocks, B. G. Ryder, W. A. Landi, and S. Zhang
dcs-tr-336
A Schema for Interprocedural Modification Side-Effect Analysis with Pointer Aliasing William A. Landi, Barbara G. Ryder, Philip A. Stocks, Sean Zhang, Rita Altucher
dcs-tr-337
MRSVP: A Reservation Protocol for an Integrated Services Packet Network with Mobile Hosts Anup K. Talukdar, B. R. Badrinath, Arup Acharya
dcs-tr-338
Using Aspect Graphs to Control the Recovery and Tracking of Deformable Models Sven J. Dickinson, Dimitri Metaxas
dcs-tr-339
View-Based Object Recognition Using Saliency Maps Ali Shokoufandeh, Ivan Marsic, Sven J. Dickinson
dcs-tr-340
Applications of Rule-Base Coverage Measures to Expert System Valerie Barr
dcs-tr-341
Complexity of Concrete Type-inference in the Presence of Exceptions R. Chatterjee, Barbara G. Ryder, William Landi
dcs-tr-342
On the Genus of the Star Graph Sarmad Abbasi
dcs-tr-343
Information Brokering Over Heterogeneous Digital Data: A Metadata- Vipul Kashyap
dcs-tr-344
Shared Virtual Memory: Progress and Challenges Liviu Iftode (Rutgers University) and Jaswinder Pal Singh (Princeton
dcs-tr-345
Shock Graphs and Shape Matching Kaleem Siddiqi, Ali Shokoufandeh, Sven J. Dickinson, Steven W. Zucker
dcs-tr-346
Optimal buffering algorithms for client-server VBR video retrievals Junbiao Zhang
dcs-tr-347
The Phase Space Dynamics of Neuronal Systems: I, Model and Experiments. Arunava Banerjee
dcs-tr-349
Modular Concrete Type-Inference for Statically Typed Object-oriented Programming Languages R. Chatterjee and B.Ryder
dcs-tr-350
Experiments with Combined Analysis for Pointer Aliasing Sean Zhang, Barbara G. Ryder, and William A. Landi
dcs-tr-351
An Architecture for Mobile Databases B. R. Badrinath S. Phatak
dcs-tr-352
GADO: A Genetic Algorithm for Continuous Design Optimization Khaled Mohamed Rasheed
dcs-tr-353
MASPLAS '98
dcs-tr-354
Automating Software Documentation Karen Paffendorf
dcs-tr-355
Human Performance on Clustering Web Pages Sofus A. Macskassy, Arunava Banerjee, Brian D. Davison, Haym Hirsh
dcs-tr-356
A unified framework for exceptions in workflow/process models -- an approach based on persistent objects Alex Borgida and Takahiro Murata
dcs-tr-357
Rate Adaptation Schemes in Networks with Mobile Hosts. Anup K. Talukdar, B. R. Badrinath, Arup Acharya
dcs-tr-358
VisPoly; A Software of Visiblitlity Graph with Multiple Reflection and its Application of Wireless Communication Design Min Fan
dcs-tr-359
Scaling Dualities and Self-Concordant Homogeneous Programming in Finite Dimensional Spaces Bahman Kalantari
dcs-tr-360
Relevant Context Inference Ramkrishna Chatterjee, Barbara Ryder and William Landi
dcs-tr-361
On the Arithmetic-Geometric Mean Inequality and its Relationship to Linear Programming, Matrix Scaling, and Gordan's Theorem Bahman Kalantari
dcs-tr-362
Gathercast: An efficient multi-point to point aggregation mechanism in IP networks B. R. Badrinath and Pradeep Sudame
dcs-tr-363
A Framework for Qualitative Performance Prediction Chung-Hsing Hsu and Ulrich Kremer
dcs-tr-364
Multi-hop Dynamic Geographic Routing Julio C. Navas
dcs-tr-365
Geographic Routing User's Guide Julio C. Navas
dcs-tr-367
Practical Pointer Aliasing Analysis Xiang-Xiang Sean Zhang
dcs-tr-368
On Algorithms for Simplicial Depth Andrew Y. Cheng, Ming Ouyang
dcs-tr-369
Approximation of Polynomial Root Using a Single Input and the Corresponding Derivative Values Bahman Kalantari
dcs-tr-370
Halley's Method as the First Member of an Infinite Family of Cubic Order Rootfinding Methods Bahman Kalantari
dcs-tr-371
Newton's Method and Generation of a Determinantal Family of Iteration Functions Bahman Kalantari
dcs-tr-373
On the Phase Space Dynamics of Neuronal Systems: Model, Experiments, and Analysis. Arunava Banerjee
dcs-tr-374
Approximate max-min resource sharing for structured concave optimization M.D. Grigoriadis, L. Khachiyan, L. Porkolab, J. Villavicencio.
dcs-tr-375
A Computational Comparison of the First Nine Members of a Bahman Kalantari and Seungyoung Park
dcs-tr-377
Jambalaya: Using Multicast for Blind Distributed Web Julio C. Navas
dcs-tr-378
"Achieving Scalable Locality With Time Skewing" David Wonnacott
dcs-tr-379
Time Skewing: A Value-Based Approach to Optimizing for Memory Locality David Wonnacott and John McCalpin
dcs-tr-380
Bounded Locking for Optimistic Concurrency Control Shirish Phatak and B. R. Badrinath
dcs-tr-381
DataSpace - querying and monitoring deeply networked collections in physical space: Part I - Concepts and Architecture Tomasz Imielinski, Samir Goel
dcs-tr-382
Data-flow-based testing of object-oriented libraries Ramkrishna Chatterjee and Barbara Ryder
dcs-tr-383
Data-Flow Analysis of Program Fragments Atanas Rountev, Barbara G. Ryder, and William Landi
dcs-tr-384
Instruction Scheduling in the Presence of Java's Runtime Exceptions Matthew Arnold, Michael Hsiao, Ulrich Kremer, Barbara Ryder
dcs-tr-386
Constant Propagation Through Array Variables David Wonnacott
dcs-tr-387
Reconciling Encapsulation and Dynamic Dispatch via Accessory Functions C. Benjamin Flynn and and David Wonnacott
dcs-tr-388
Time Skewing for Parallel Computers David Wonnacott
dcs-tr-389
New Formulas for Approximation of PI and Other Transcendental Numbers Bahman Kalantari
dcs-tr-390
Concept-Learning in the Absence of Counter-Examples: An Autoassociation-Based Approach to Classification Nathalie Japkowicz
dcs-tr-391
``What's *NOT* in a name?'' Initial Explorations of a Structural Approach to Intgerating Large Concept Knowledge Bases Alex Borgida, Ralf Kusters
dcs-tr-393
Incremental Analysis for Flow- and Context-Sensitive Data-Flow Problems Jyh-shiarn Yur
dcs-tr-395
A Simple Path-following Algorithm for the Feasibility Problem in Semidefinite Programming and for Matrix Scaling over the Semidefinite Cone Bahman Kalantari
dcs-tr-396
Cubegrades: Generalizing Association Rules Tomasz Imielinski, Leonid Khachiyan, Amin Abdulghani
dcs-tr-398
A Note on a Boundedness Property of Normal Barriers of Convex Cones Bahman Kalantari
dcs-tr-399
A Multi-class Linear Learning Algorithm Related to Winnow Chris Mesterharm
dcs-tr-400
DataSpace - querying and monitoring deeply networked collections in physical space: Part II - Protocol Details Samir Goel, Tomasz Imielinski
dcs-tr-401
Tile Selection Algorithms and Their Performance Models Chung-Hsing Hsu and Ulrich Kremer
dcs-tr-403
A Static Study of Java Exceptions using JESP Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah
dcs-tr-404
``What's in an Attribute?'' -- Consequences for the Least Common Subsumer Alex Borgida, Ralf Kuesters
dcs-tr-405
Web&: An Architecture for Non-Interactive Web S. H. Phatak, V. Esakki, B. R. Badrinath, L. Iftode
dcs-tr-406
Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages Ramkrishna Chatterjee
dcs-tr-407
A Stable and Efficient Loop Tiling Algorithm Chung-Hsing Hsu and Ulrich Kremer
dcs-tr-408
On reducing the computational cost of Geographic Routing Julio C. Navas Tomaz Imielinski
dcs-tr-409
Limited-size Logging for Fault-Tolerant Distributed Shared Memory with Independent Checkpointing Florin Sultan, Thu Nguyen, Liviu Iftode
dcs-tr-410
Practical Points-to Analysis for Programs Built with Libraries Atanas Rountev and Barbara G. Ryder
dcs-tr-411
An Empirical Study of Selective Optimization Matthew Arnold, Michael Hind, Barbara G. Ryder
dcs-tr-412
On Homogeneous Linear Recurrence Relations and Approximation of Zeros of Complex Polynomials Bahman Kalantari
dcs-tr-413
Software Distributed Shared Memory over Virtual Interface Architecture: Implementation and Performance Muralidharan Rangarajan and Liviu Iftode
dcs-tr-414
Topical Locality in the Web: Experiments and Observations Brian D. Davison
dcs-tr-415
Pushing Politely: Improving Web Responsiveness One Packet at a Time Brian D. Davison, Vincenzo Liberatore
dcs-tr-416
Scylla: A Smart Virtual Machine for Mobile Embedded Systems Phillip Stanley-Marbell, Liviu Iftode
dcs-tr-417
Points-to Analysis for Java Using Annotated Inclusion Constraints Atanas Rountev, Ana Milanova, and Barbara G. Ryder
dcs-tr-419
Compiler-Directed Dynamic Frequency and Voltage Scheduling Chung-Hsing Hsu, Ulrich Kremer, and Michael Hsiao
dcs-tr-421
Providing Quality of Service Guarantees Using Only Edge Routers Sudeept Bhatnagar and Brett Vickers
dcs-tr-423
Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries Atanas Rountev and Barbara G. Ryder
dcs-tr-424
A Framework for Reducing the Cost of Instrumented Code Matthew Arnold and Barbara G. Ryder
dcs-tr-425
Application Management to support Network Management and Traffic Engineering Kyoungwon Suh and Brett J. Vickers
dcs-tr-426
Performability Modeling and Analysis of Fault Tolerance Support in Communication Protocols Samian Kaur
dcs-tr-427
Efficiency vs. Portability in Cluster-Based Network Servers Enrique V. Carrera and Ricardo Bianchini
dcs-tr-428
Points-to Analysis for Java Based on Annotated Constraints Atanas Rountev, Ana Milanova, and Barbara G. Ryder
dcs-tr-429
Transport Layer Support for Highly-Available Network Services Florin Sultan, Kiran Srinivasan, Liviu Iftode
dcs-tr-430
Smart Messages: A System Architecture for Large Networks of Embedded Systems Phillip Stanley-Marbell, Cristian Borcea, Kiran Nagaraja and Liviu Iftode
dcs-tr-431
Compiler-Directed Dynamic Voltage/Frequency Scheduling for Energy Reduction in Microprocessors Chung-Hsing Hsu, Ulrich Kremer, and Michael Hsiao
dcs-tr-432
Class Analysis for Testing of Polymorphism in Java Software Atanas Rountev, Ana Milanova, and Barbara G. Ryder
dcs-tr-433
Data-flow-based Testing of Object-Oriented Libraries Ramkrishna Chatterjee and Barbara G. Ryder
dcs-tr-434
Dynamic QoS Provisioning in Wireless Data Networks Samrat Ganguly, Dragos Niculescu and Brett Vickers
dcs-tr-435
Ad Hoc Positioning System (APS) Dragos Niculescu and Badri Nath
dcs-tr-436
Cooperative Caching Middleware for Cluster-Based Servers Francisco Matias Cuenca-Acuna and Thu D. Nguyen
dcs-tr-437
The Shape of Failure Taliver Heath, Rich Martin, Thu Nguyen
dcs-tr-438
Prediction-based Monitoring in Sensor Networks: Taking Lessons from MPEG Samir Goel and Tomasz Imielinski
dcs-tr-439
An Edge Router Based Protocol for Fault Tolerant Handling of Advance Reservations Sudeept Bhatnagar and Badri Nath
dcs-tr-440
Load Balancing and Unbalancing for Power and Performance in Cluster-Based Systems Eduardo Pinheiro, Ricardo Bianchini, Enrique V. Carrera, and Taliver Heath
dcs-tr-441
Title : A Topology Discovery Algorithm for Sensor Networks with Applications to Network Management Budhaditya Deb, Sudeept Bhatnagar and Badri Nath
dcs-tr-442
Precise Call Graph Construction in the Presence of Function Pointers Ana Milanova, Atanas Rountev, and Barbara G. Ryder
dcs-tr-444
NCS: Network and Cache Simulator -- An Introduction Brian D. Davison
dcs-tr-445
ROPE: The Rutgers Online Proxy Evaluator Brian D. Davison and Chandrasekar Krishnan
dcs-tr-446
A Compilation Framework for Power and Energy Management on Mobile Computers Ulrich Kremer, Jamey Hicks and Jim Rehg
dcs-tr-447
Dynamic Voltage and Frequency Scaling for Scientific Applications Chung-Hsing Hsu and Ulrich Kremer
dcs-tr-449
A General Algorithm for Time Skewing by David Wonnacott (visting Rutgers DCS from Haverford College)
dcs-tr-450
RESTCLK: A Communication Paradigm for Observation and Control of Object Interaction Souripriya Das
dcs-tr-451
Optimization Based Bandwidth Allocation in Mobile Cellular Networks Samrat Ganguly, Badri Nath and Navin Goyal
dcs-tr-453
User-Level Communication in Cluster-Based Servers Enrique V. Carrera, Srinath Rao, Liviu Iftode, and Ricardo Bianchini
dcs-tr-456
Energy Management of Virtual Memory on Diskless Devices Jerry Hom and Ulrich Kremer
dcs-tr-457
A Hardware Architecture for Dynamic Performance and Energy Adaptation Phillip Stanley-Marbell, Michael S. Hsiao,Ulrich Kremer
dcs-tr-459
MTCP: Transport Layer Support for Highly Available Network Services Kiran Srinivasan
dcs-tr-460
Transforming Linear-threshold Learning Algorithms into Multi-class Linear Learning Algorithms. Chris Mesterharm
dcs-tr-461
Compiler-Directed Dynamic Voltage Scaling Based on Program Regions Chung-Hsing Hsu and Ulrich Kremer
dcs-tr-462
Migratory TCP: Highly Available Internet Services Using Connection Migration Florin Sultan, Kiran Srinivasan, Deepa Iyer, and Liviu Iftode
dcs-tr-464
Cooperative Computing for Distributed Embedded Systems Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh Saxena and Liviu Iftode
dcs-tr-465
PlanetP: Infrastructure Support for P2P Information Sharing Francisco Matias Cuenca-Acuna, Christopher Peery, Richard P. Martin, Thu D. Nguyen
dcs-tr-466
Research Directions in Power and Energy Conservation for Clusters Ricardo Bianchini
dcs-tr-468
Ad Hoc Positioning System(APS) Using AoA Dragos Niculescu and Badri Nath
dcs-tr-469
Online Instrumentation and Feedback Directed Optimization of Java Matthew Arnold
dcs-tr-470
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading Matthew Arnold and Barbara G. Ryder
dcs-tr-471
Mendosis: A SAN-based Fault Injection Test-bed for the Construction of Highly Available Network Services Bin Zhang, Kiran Nagaraja, Xiaoyan Li, Richard Martin, Thu Nguyen
dcs-tr-472
Federated File Systems for Clusters with Remote Memory Communication Suresh Gopalakrishnan, Ashok Arumugam, Liviu Iftode
dcs-tr-474
Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java Ana Milanova, Atanas Rountev, and Barbara G. Ryder
dcs-tr-475
A Study of Program Behavior to Establish Temporal Locality at the Function Level Ravi Batchu, Saul Levy, Miles Murdocca
dcs-tr-477
Self-Routing in Networks of Embedded Systems using Smart Messages Cristian Borcea, Akhilesh Saxena, Deepa Iyer, Porlin Kang, Rabita Sarker and Liviu Iftode
dcs-tr-478
Multi-Resolution State Retrieval in Sensor Networks Budhaditya Deb, Sudeept Bhatnagar, Badri Nath
dcs-tr-479
Autonomous Transport Protocols for Content-based Networks Florin Sultan, Aniruddha Bohra, and Liviu Iftode
dcs-tr-480
Working Sets at Function Level Ravi Batchu and Saul Levy
dcs-tr-481
TCP Servers: Offloading TCP Processing in Internet Servers. Design, Implementation, and Performance Murali Rangarajan, Aniruddha Bohra, Kalpana Banerjee, Enrique V. Carrera, Ricardo Bianchini and Liviu Iftode
dcs-tr-482
Construction Precise Object Relation Diagrams Ana Milanova, Atanas Rountev, Barbara Ryder
dcs-tr-483
Text-Based Content Search and Retrieval in ad hoc P2P Communities Francisco Matias Cuenca-Acuna and Thu D. Nguyen
dcs-tr-485
MemNet: Memory-Mapped Networking for Servers Murali Rangarajan, Kalpana Banerjee and Liviu Iftode
dcs-tr-487
PlanetP: Using Gossiping to Build Content Addressable Peer-to-Peer Information Sharing Communities Francisco Matias Cuenca-Acuna, Christopher Peery, Richard P. Martin, Thu D. Nguyen
dcs-tr-488
Trajectory-Based Forwarding and its Applications Dragos Niculescu, Badri Nath
dcs-tr-490
Spatial Programming with Smart Messages for Networks of Embedded Systems Liviu Iftode, Cristian Borcea, Deepa Iyer, Porlin Kang, Ulrich Kremer, and Akhilesh Saxena
dcs-tr-491
Using Fault Injection to Evaluate the Performability of Cluster-Based Services Kiran Nagaraja, Xiaoyan Li, Bin Zhang, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen
dcs-tr-492
Byzantine Fault Tolerant Authentication Vivek Pathak and Liviu Iftode
dcs-tr-493
Spatial Views: Iterative Spatial Programming for Networks of Embedded Systems Ulrich Kremer, Liviu Iftode, Jerry Hom, and Yang Ni
dcs-tr-494
PlanetP: Using Gossiping and Random Replication to Support Reliable Peer-to-Peer Content Search and Retrieval_ Francisco Matias Cuenca-Acuna, Richard P. Martin, Thu D. Nguyen
dcs-tr-495
ReInForM: Reliable Information Forwarding using Multiple Paths in Sensor Networks Budhaditya Deb, Sudeept Bhatnagar, Badri Nath
dcs-tr-496
Evaluating the Impact of Communication Architecture on the Performability of Cluster-Based Services Kiran Nagaraja, Neeraj Krishnan, Ricardo Bianchini, Rich Martin, Thu Nguyen
dcs-tr-500
Improving Disk Throughput in Data-Intensive Servers E. V. Carrera and R. Bianchini
dcs-tr-501
Dataflow Analysis of Software Fragments Atanas Rountev
dcs-tr-502
Fragment Class Analysis for Testing of Polymorphism in Java Software Atanas Rountev, Ana Milanova, and Barbara G. Ryder
dcs-tr-503
Programming Computers Embedded in the Physical World Liviu Iftode, Cristian Borcea, Andrzej Kochut, Chalermek Intanagonwiwat, Ulrich Kremer
dcs-tr-504
Flow Splitting Approach for Path Provisioning and Path Protection Problems Rauf Izmailov, Dragos Niculescu
dcs-tr-505
TCP Servers: A TCP/IP Offloading Architecture For Internet Servers, Using Memory-Mapped Communication Kalpana S. Banerjee
dcs-tr-508
Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions Florin Sultan, Aniruddha Bohra, and Liviu Iftode
dcs-tr-509
Autonomous Relication for High Availability in Unstructures P2P Ssytems Francisco Matias Cuenca-Acuna, Richard P. Martin, Thu D. Nguyen
dcs-tr-510
Collaborative Management of Global Directories in P2P Systems Christopher Peery, Francisco Matias Cuenca-Acuna, Richard P. Martin, Thu D. Nguyen
dcs-tr-511
Conserving Disk Energy in Network Servers E. V. Carrera, E. Pinheiro, and R. Bianchini
dcs-tr-514
On Shouting ``Fire!'': Regulating Decoupled Communication in Distributed Systems Takahiro Murata and Naftaly Minsky
dcs-tr-515
STREAM: Sensor Topology Retrieval at Multiple Resolutions Budhaditya Deb, Sudeept Bhatnagar and Badri Nath.
dcs-tr-516
Federated DAFS: Scalable Cluster-based Direct Access File Servers Murali Rangarajan, Suresh Gopalakrishnan, Ashok Arumugam, Rabita Sarker and Liviu Iftode
dcs-tr-517
Quantifying and Improving the Availability of Cooperative Cluster-Based Internet Services Kiran Nagaraja, Neeraj Krishnan, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen
dcs-tr-518
Compiler-directed Program-fault Coverage for Highly Available Java Internet Services Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott
dcs-tr-520
Registration of Structures in Arbitrary Dimensions: Implicit Representations, Mutual Information & Free form Deformations Xiaolei Huang, Nikos Paragios, Dimitris Metaxas
dcs-tr-522
Using Remote Memory Communication for Self-Healing Systems Florin Sultan, Aniruddha Bohra, Iulian Neamtiu, and Liviu Iftode
dcs-tr-523
Grassroots - A Scalable and Robust Information Architecture Samir Goel, Tomasz Imielinski, Kaan Ozbay, Badri Nath
dcs-tr-524
AUTHOR: Florin Sultan, Aniruddha Bohra, Yufei Pan, Stephen Smaldone, Iulian Neamtiu, Pascal Gallard, Liviu Iftode TITLE: Nonintrusive Failure Detection and Recovery for Internet Services Using Backdoors
dcs-tr-528
Power and Energy Management for Server Systems Ricardo Banchini and Ram Rajamony
dcs-tr-530
On General Convergence of the Basic Family for Extracting Radicals Yi Jin and Bahman Kalantari
dcs-tr-532
Exploiting Procedure Level Locality to Reduce Instruction Cache Misses Ravi V. Batchu, Daniel A. Jimenez
dcs-tr-533
Chianti: A Prototype Change Impact Analysis Tool for Java Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley, and Julian Dolby
dcs-tr-536
Portable Smart Messages Architecture for Ubiquitous Java-enabled devices Nishkam Ravi, Cristian Borcea, Porlin Kang and Liviu Iftode
dcs-tr-538
MetaMorphs: Deformable Shape and Texture Models Xiaolei Huang, Dimitris Metaxas and Ting Chen
dcs-tr-539
Precise and Practical Flow Analysis of Object-Oriented Software Ana Milanova
dcs-tr-541
Self-Managing Federated Services Francisco Matias Cuenca-Acuna and Thu D. Nguyen
dcs-tr-552
"Etiquette Protocol for Ultra Low Power Operation in Sensor Networks" Samir Goel and Tomasz Imielinski
dcs-tr-554
Citadel: Defensive Architectures for Computer Systems and Networks} Florin Sultan, Aniruddha Bohra, Pascal Gallard, Stephen Smaldone, Yufei Pan, Badri Nath, Liviu Iftode
dcs-tr-558
Using buddies to live longer in a boring world Samir Goel, Andrea Passarella, and Tomasz Imielinski
dcs-tr-560
System Support for Service-Availability, Remote Healing and Fault Tollerance using Lazy-State Propogation Florin Sultan
dcs-tr-563
Spatial Views Language Specification, Version 1.0 Uli Kremer, Yang Ni, Adrian Stere
dcs-tr-564
"Mobile Services: Context-Aware Service Migration in Ad Hoc Networks" Oriana Riva, Tamer Nadeem, Cristian Borcea, and Liviu Iftode
dcs-tr-565
Split Smart Messages : Middleware for Pervasive Computing on Smart Phones Nishkam Ravi, Cristian Borcea, Liviu Iftode
dcs-tr-566
Matching and Recognition of Shapes using Chord-based Point Density Graphs Xiaolei Huang, Dimitris N. Metaxas
dcs-tr-568
Spatial Views Language Specification, Version 1.0 Ulrich Kremer, Yang Ni, and Adrian Stere
dcs-tr-569
Orion: Looking for Constellations in Physical Memory Aniruddha Bohra, Arati Baliga, and Liviu Iftode.
dcs-tr-570
Exploiting Redundancy to Conserve Energy in Storage Systems Eduardo Pinheiro, Ricardo Bianchini, Cezary Dubnicki
dcs-tr-572
Change Classification and its Applications to Program Development and Testing Maximilian Stoerzer, Xiaoxia Ren, Barbara G. Ryder, Frank Tip
dcs-tr-573
Crisp: A Debugging Tool for Java Programs, Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder
dcs-tr-574
A Practical Algorithm for Interclass Testing Dependence Weilei Zhang, Barbara Ryder
dcs-tr-575
Power Phase Identification for Efficient Simulation Chunling Hu , Daniel A. Jim , Ulrich Kremer
dcs-tr-576
Controller Manager for Law Governed Interaction Constantin Serban, Yingying Chen
dcs-tr-577
Lazy Approximation: A New Approach for Solving Continuous Finite-Horizon MDPs Lihong Li and Michael L. Littman
dcs-tr-578
Inter-Program Optimizations for Conserving Disk Energy Jerry Hom and Ulrich Kremer
dcs-tr-579
Testing and Understanding Error Recovery Code in Java Applications Chen Fu and Barbara G. Ryder
dcs-tr-580
Heisenbugs and Bohrbugs: Why are they different? Nitin M. Shetti
dcs-tr-585
Exploring the Design and Implementation of Vehicular Networked Systems Liviu Iftode, Cristian Borcea, Nishkam Ravi, Tamer Nadeem
dcs-tr-595
"Non-Inference: A Solution for Service Specific Location Privacy" Nishkam Ravi, Marco Gruteser, Liviu Iftode
dcs-tr-601
Model-Based Validation for Internet Services A. Tjang, F. Oliveira, R. Bianchini, R. P. Martin, T. D. Nguyen, H. Tang
dcs-tr-605
Implementing Network File System Policies with FileWall Stephen Smaldone, Aniruddha Bohra, and Liviu Iftode
hpcd-tm-1
Notes on the Technical Sessions of the First HPCD Workshop M. Schwabacher and J. Keane
hpcd-tm-2
Notes on the second HPCD Workshop Mark Schwabacher and John Keane
hpcd-tm-3
Notes on the third HPCD Workshop Brian Davison and Khaled Rasheed
hpcd-tm-4
Notes on the fourth HPCD Workshop Brian D. Davison and Keith M. Miyake
hpcd-tr-1
Efficient Algorithms and a Software Tool for Scheduling Parallel Computation. Apostolos Gerasoulis, Rutgers University
hpcd-tr-10
A 2-D Compressible Navier-Stokes Algorithm Using an Adaptive Unstructured Grid H.F. Lau and D. Knight
hpcd-tr-11
Differences in Algorithmic Parallelism in Control Flow and Call V. Sgro and B. Ryder
hpcd-tr-12
Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer Sui-Ky Ringo Ling
hpcd-tr-13
Feedback Directed Optimization Chun Wai Liew
hpcd-tr-18
Computing and Problems of Complex Mechanical System Design Saul Amarel
hpcd-tr-19
4th Quarterly R&D Status Report Saul Amarel
hpcd-tr-2
1st Quarterly R&D Status Report Saul Amarel
hpcd-tr-20
A Search Space Toolkit Andrew Gelsey, Don Smith, Mark Schwabacher, Khaled Mohamed Rasheed Shehata, Keith Miyake
hpcd-tr-21
A Computational Environment for Exhaust Nozzle Design Andrew Gelsey, Don Smith
hpcd-tr-22
NPARC Simulation and Redesign of the NASA P2 Hypersonic Inlet Andrew Gelsey, Doyle D. Knight, Song Gao, Mark Schwabacher
hpcd-tr-23
Intelligent Automated Grid Generation for Numerical Simulations Ke-Thia Yao, Andrew Gelsey
hpcd-tr-24
5th Quarterly R&D Status Report Saul Amarel
hpcd-tr-25
Using Feedback To Improve VLSI Designs C.W. Liew
hpcd-tr-26
Tree codes for vortex dynamics: Application of a programming framework Sandeep Bhatt, Pangfeng Liu, Victor Fernandez, Norman Zabusky
hpcd-tr-27
Test Cases for NPARC Song "Sam" Gao
hpcd-tr-28
Learning When Reformulation is Appropriate for Iterative Design Mark Schwabacher, Thomas Ellman, Haym Hirsh, Gerard Richter
hpcd-tr-29
Inductive Learning of Feature-Tracking Rules for Scientific Visualization Arunava Banerjee, Haym Hirsh, Thomas Ellman
hpcd-tr-30
Sixth R&D Status Report Saul Amarel
hpcd-tr-31
Summary Technical Report on Year 1 of the Hypercomputing and Design (HPCD) Project Saul Amarel
hpcd-tr-32
Seventh R&D Status Report Saul Amarel
hpcd-tr-33
Numerical simulations of fluid flow in the vocal tract G. Richard, M.Liu, D. Sinder, H. Duncan, Q. Lin, J. Flanagan, S. Levinson, D. Davis, S. Slimon.
hpcd-tr-34
Using Modeling Knowledge to Guide Design Space Search Andrew Gelsey, Mark Schwabacher and Don Smith
hpcd-tr-35
Eighth R&D Status Report Saul Amarel
hpcd-tr-36
Automated Redesign of the NASA P8 Hypersonic Inlet Using Numerical Optimization Vijay Shukla, Andrew Gelsey, Mark Schwabacher, Donald Smith, and Doyle D. Knight
hpcd-tr-37
Intelligent Automated Grid Generation for Numerical Simulations Ke-Thia Yao, Andrew Gelsey
hpcd-tr-38
Intelligent Gradient-Based Search of Incompletely Defined Design Spaces Mark Schwabacher, Andrew Gelsey
hpcd-tr-4
Scheduling of Structured and Unstructured Computation A. Gerasoulis, J. Jiao, T. Yang
hpcd-tr-40
Intelligent Intercessors in Analysis Models for Automated Design J. Keane and T. Ellman
hpcd-tr-41
Extensions to the Franz, Inc.'s Allegro Common Lisp Foreign Function Interface J. Keane
hpcd-tr-42
A Transformation System for Interactive Reformulation of Design Optimization Strategies Thomas Ellman John Keane Takahiro Murata Mark Schwabacher
hpcd-tr-43
Reformulation of Design Optimization Strategies Thomas Ellman John Keane Takahiro Murata Arunava Banerjee
hpcd-tr-44
Multi-Level Modeling for Engineering Design Optimization Thomas Ellman John Keane Mark Schwabacher Ke-Thia Yao
hpcd-tr-45
The Use of Artificial Intelligence to Improve the Numerical Optimization of Complex Engineering Designs Mark Schwabacher
hpcd-tr-49
Knowledge-based Management of Legacy Codes for Automated Design" John Keane
hpcd-tr-5
2ND QUARTERLY R&D STATUS REPORT Saul Amarel
hpcd-tr-50
Guided Crossover: A New Operator for Genetic Algorithm Based Optimization Khaled Rasheed and Haym Hirsh
hpcd-tr-59
Highest Utility First Search: a Control Method for Multi-level L. Steinberg, J. Hall and B. Davison
hpcd-tr-6
A Navier-Stokes Algorithm for Turbulent Flows Using an Unstructured Grid and Flux Difference Splitting F. Jacon and D. Knight
hpcd-tr-7
Third Quarterly R&D Status Report Saul Amarel
hpcd-tr-8
DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors T. Yang and A. Gerasoulis
hpcd-tr-9
1st Annual Project Summary Saul Amarel
lcsr-tr-141
Static infinite Wait Anomaly Detection in Polynomial Time S. P. Masticola and B. G. Ryder
lcsr-tr-168
A Safe Approximation Algorithm for Interprocedural Pointer Aliasing William Landi and Barbara G. Ryder
lcsr-tr-174
Interprocedural Aliasing in the Presence of Pointers William Landi
lcsr-tr-180
Composition of Image Analysis Processes through Object-Centered Hierarchical Planning Leiguang Gong
lcsr-tr-184
The complexity of computing maximal word functions Eric Allender, Danilo Bruschi and Giovanni Pighizzini
lcsr-tr-185
On Strong Separations from $AC^0$ Eric Allender and Vivek Gore
lcsr-tr-186
Applications of Time-Bounded Kolmogorov Complexity in Complexity Theory Eric Allender
lcsr-tr-187
Depth Reduction for Circuits of Unbounded Fan-In Eric Allender and Ulrich Hertrampf
lcsr-tr-188
A uniform circuit lower bound for the permanent Eric Allender and Vivek Gore
lcsr-tr-189
Almost-Everywhere Complexity Hierarchies for Nondeterministic Time Eric Allender, Richard Beigel, Ulrich Hertrampf and Steven Homer
lcsr-tr-190
Detecting Deadlocks in the Ada {\tt accept...do} and {\tt select} Constructs Stephen P. Masticola
lcsr-tr-192
A Comprehensive Approach to Parallel Data Flow Analysis Yong-fong Lee, Barbara G. Ryder
lcsr-tr-193
Interprocedural Reaching Definitions in the Presence of Single Level Pointers Hemant D. Pande, William Landi, Barbara G. Ryder
lcsr-tr-194
Combinatorial Complexity of Signed Discs Diane L. Souvaine, Chee-Keng Yap
lcsr-tr-195
Interprocedural Modification Side Effect Analysis With Pointer Aliasing William Landi, Barbara G. Ryder, and Sean Zhang
lcsr-tr-196
The CAM2000 Chip Architecture D. Smith, J. Hall, K. Miyake
lcsr-tr-197-a
Static Type Determination for C++ Hemant D. Pande and Barbara G. Ryder
lcsr-tr-197
Static Type Determination for C++ Hemant D. Pande and Barbara G. Ryder
lcsr-tr-198
Hillclimbing in a Hierarchy of Abstraction Spaces Thomas Ellman, Saibal Patra
lcsr-tr-199
Abstraction via Approximate Symmetry Thomas Ellman
lcsr-tr-200
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects Thomas Ellman
lcsr-tr-201
Interprocedural Modification Side Effect Analysis With Pointer Aliasing William Landi
lcsr-tr-204
Regularities in Software Systems Naftaly H. Minsky
lcsr-tr-208
Static Detection of Deadlocks in Polynomial Time Stephen P. Masticola
lcsr-tr-209
The frame problem in object-oriented specifications: an exhibition of problems and approaches Alex Borgida
lcsr-tr-217
Fast Search Methods for Biological Sequence Databases Sumit Ganguly, Jerry Leichter, Michiel Noordewier
lcsr-tr-218
Optimizing Queries for Coarse Grain Parallelism Sumit Ganguly, Weining Wang
lcsr-tr-219
Query Optimization in Mobile Environments Sumit Ganguly, Rafael Alonso
lcsr-tr-220
Law-Governed Regularities in Software Systems Naftaly H. Minsky
lcsr-tr-221
Law-Governed Linda Communication Model Naftaly H. Minsky and Jerrold Leichter
lcsr-tr-224
Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs Vincent Sgro and Barbara G. Ryder
lcsr-tr-226
A Problem with Long-Term Computing Processes, and What Can Be Done About It Naftaly H. Minsky
lcsr-tr-227
Establishing Regularities in Object-Oriented (Eiffel) Systems Naftaly H. Minsky and Partha pratim Pal
lcsr-tr-228
Explaining Subsumption in Description Logics Deborah L. McGuinness and Alex Borgida
lcsr-tr-229
Initializing Neural Networks using Decision Trees Arunava Banerjee
lcsr-tr-230
Visual Attention and Retinal Fixation: Preprocessing Modules for Enhanced Performance in Real-Time Vision Arunava Banerjee.
lcsr-tr-231
A Computational Model of View Degeneracy and its Application to Active Focal Length Control David Wilkes, Sven Dickinson, and John Tsoto
lcsr-tr-232
Integrating Qualitative and Quantitative Shape Recovery Sven Dickinson, Dimitri Metaxas
lcsr-tr-233
Complexity of Single Level Function Pointer Aliasing Sean Zhang and Barbara G. Ryder
lcsr-tr-235
Constructing Piecewise Linear Homeomorphisms Diane Souvaine and Rephael Wenger
lcsr-tr-236
Static Type Determination and Aliasing for C++ Hemant Pande and Barbara Ryder
lcsr-tr-237
Automating Software Design for Resource Assignment Problems Kerstin Voigt
lcsr-tr-238
Modular Implementation of Individual Reasoning in PROTODL --- the Extensible Description Logic Management System. Alex Borgida, Daniel Kudenko
lcsr-tr-239
Unshareable Dynamic Objects and How to Resolve a Conflict Between Encapsulation and Pointers Naftaly H. Minsky
lcsr-tr-240
DNA Sequence Classification Using Compression-Based Induction David Loewenstern, Haym Hirsh and Michiel Noordewier
lcsr-tr-241
Lattice Frameworks for Multisource and Bidirectional Data Flow Problems Stephen P. Masticola,Thomas J. Marlowe, Barbara G. Ryder,
lcsr-tr-242
Event Delivery Abstractions for Mobile Computing B. R. Badrinath and Girish Welling
lcsr-tr-243
IP Multicast Extensions for Mobile Internetworking Arup Acharya, Ajay Bakre and B. R. Badrinath
lcsr-tr-244
Function Pointers in C - An Empirical Study Anand Shah and Barbara G. Ryder
lcsr-tr-245
APPROXIMATE MINIMUM-COST MULTICOMMODITY FLOWS IN $\tilde O(\eps^{-2}KNM)$ TIME Michael D. Grigoriadis and L.G. Khachiyan
lcsr-tr-246
Recognition by Functional Parts Ehud Rivlin, Sven J. Dickinson, Azriel Rosenfeld
lcsr-tr-247
PUBLISHING IN WIRELESS AND WIRELINE ENVIRONMENTS Subramaniyam R. Viswanathan
lcsr-tr-248
APPROXIMATION SCHEMES FOR MAXIMUM CARDINALITY MATCHING BAHMAN KALANTARI and ALI SHOKOUFANDEH
lcsr-tr-249
Defining Flow Sensitivity in Data Flow Problems Thomas J. Marlowe, Barbara G. Ryder, and Michael G. Burke
lcsr-tr-250-a
Static Type Determination and Aliasing for C++ Hemant D. Pande and Barbara G. Ryder
lcsr-tr-250
Static Type Determination and Aliasing for C++ Hemant D. Pande and Barbara G. Ryder
lcsr-tr-251
ON GENERATING THE IRREDUNDANT CONJUNCTIVE AND DISJUNCTIVE NORMAL FORMS OF MONOTONE BOOLEAN FUNCTIONS} V. Gurvich and L. Khachiyan
lcsr-tr-252
ON THE FREQUENCY OF THE MOST FREQUENTLY OCCURRING VARIABLE IN DUAL MONOTONE DNFs V. Gurvich and L. Khachiyan
lcsr-tr-253
A BASIC FAMILY OF ITERATION FUNCTIONS FOR POLYNOMIAL ROOT FINDING AND ITS CHARACTERIZATIONS Bahman Kalantari, Iraj Kalantari, Rahim Zaare-Nahand
lcsr-tr-254
Incremental Analysis of MOD Problem for C Jyh-shiarn Yur, Barbara G. Ryder
lcsr-tr-255
Approximate Structured Optimization by Cyclic BLock-Coordinate Descent Jorge Villavicencio and Michael D. Grigoriadis
lcsr-tr-256
Two Approaches to the Hierarchical Solution of Constraint Satisfaction Problems Sunil Mohan
lcsr-tr-257
The FM and PL Libraries Documentation Javier Elices
lcsr-tr-258
Approximate Lagrangian decomposition with a modified Karmarkar logarithmic potential* Jorge Villavicencio and Michael D. Grigoriadis
lcsr-tr-259
Program Decomposition for Pointer-induced Aliasing Analysis Sean Zhang, Barbara G. Ryder, William Landi
lcsr-tr-260
Compile Time Analysis of C and C++ Systems Hemant D. Pande
lcsr-tr-261
Refining the Parallel Hybrid Algorithm for Data Flow Analysis Javier Elices
lcsr-tr-262
GPS-Based Addressing and Routing Tomasz Imielinski and Julio C. Navas
lcsr-tr-263
Mobile Computing DataMan Project Perspective Tomasz Imielinski
lcsr-tr-264
An $O(n \log n)$ Algorithm for finding Dissimilar Strings Sarmad Abbasi, Anirvan Sengupta
lcsr-tr-267
Model-Based Refinement of Search Heuristics Michael W. Barley
lcsr-tr-268
ACTIVE OBJECT RECOGNITION INTEGRATING ATTENTION AND VIEWPOINT CONTROL S. Dickinson, H. Christensen, J. Tsotsos and Goran Olofsson
lcsr-tr-270
Exporting Environment Awareness to Mobile Applications Girish Welling and B. R. Badrinath
lcsr-tr-271
Software Support for Parallel Processing of Irregular and Dynamic Computations Jia Jiao
lcsr-tr-272
Reducing Randomness in Computation via Explicit Constructions Shiyu Zhou
lcsr-tr-273
LINEAR-C: A DATA-PARALLEL EXTENSION TO C Chung-Hsing Hsu, Donald Smith & Saul Levy
lcsr-tr-274
A LINEAR-C IMPLEMENTATION OF DIJKSTRA's ALGORITHM Chung-Hsing Hsu, Donald Smith and Saul Levy
lcsr-tr-275
Darwin-E: An Environment to Impose Regularity Upon Object-Oriented Software Partha Pratim Pal
lcsr-tr-276
Panel Report: The Potential of Geons for Generic 3-D Object Recognition Sven J. Dickinson, Robert Bergevin, Irving Biederman, Jan-Olof Eklundh, Roger Munck-Fairwood, Anil K. Jain, Alex Pentland
lcsr-tr-277
Explaining Reasoning in Description Logics Deborah L. McGuinness
lcsr-tr-279
Design and Implementation of Indirect Protocols for Mobile Wireless Environments Ajay V. Bakre
lcsr-tr-280
The Role of Model-Based Segmentation in the Recovery of Volumetric Parts from Range Data Sven J. Dickinson, Dimitri Metaxas, Alex Pentland
lcsr-tr-281
Integrating Qualitative and Quantitative Object Representations in the Recovery and Tracking of 3-D Shape Sven J. Dickinson, Dimitri Metaxas
lcsr-tr-282
Admission Control Algorithms and Reservation Protocol for Supporting Mobile hosts in an Integrated Services Packet Network. ANUP KUMAR TALUKDAR, B. R. BADRINATH, ARUP ACHARYA
lcsr-tr-283
Automatic Data Layout with Read-Only Replication and Memory Constraints Ulrich Kremer
lcsr-tr-284
Analysis of An Approach for the Set Maxima Problem Vincenzo Liberatore
ml-tr-36
The Computational Complexity of the Candidate-Elimination Algorithm Haym Hirsh
ml-tr-38
The Problem with Noise and Small Disjuncts Gary M. Weiss
ml-tr-39
Learning with Small Disjuncts Gary M. Weiss
ml-tr-40
Exploiting Knowledge of Uncertainty: Induction of Classifiers by the Incremental Combination of Probabilistic Evidence Steven W. Norton
ml-tr-41
Experiments in UNIX Command Prediction Brian D. Davison and Haym Hirsh
ml-tr-42
A Quantitive Study of Small Disjuncts: Experiments and Results Gary M. Weiss and Haym Hirsh
ml-tr-43
The Effect of Class Distribution on Classifier Learning Gary M. Weiss and Foster Provost
ml-tr-44
The Effect of Class DIstribution on Classifier Learning: An Empirical Study Gary M. Weiss and Foster Provost