Sciweavers

3443 search results - page 491 / 689
» More Algebras for Determiners
Sort
View
AAAI
1998
15 years 8 months ago
Position Estimation for Mobile Robots in Dynamic Environments
For mobile robots to be successful, they have to navigate safely in populated and dynamic environments. While recent research has led to a variety of localization methods that can...
Dieter Fox, Wolfram Burgard, Sebastian Thrun, Armi...
SODA
2003
ACM
125views Algorithms» more  SODA 2003»
15 years 8 months ago
Random MAX SAT, random MAX CUT, and their phase transitions
With random inputs, certain decision problems undergo a “phase transition”. We prove similar behavior in an optimization context. Given a conjunctive normal form (CNF) formula...
Don Coppersmith, David Gamarnik, Mohammad Taghi Ha...
AVI
2000
15 years 8 months ago
Guidelines for Using Multiple Views in Information Visualization
A multiple view system uses two or more distinct views to support the investigation of a single conceptual entity. Many such systems exist, ranging from computer-aided design (CAD...
Michelle Q. Wang Baldonado, Allison Woodruff, Alla...
DBSEC
2000
112views Database» more  DBSEC 2000»
15 years 8 months ago
Coordinating Policy for Federated Applications
Abstract At the start of its present term of office in 1997 the UK government published a planning document promising ubiquitous access to Electronic Health Records (EHRs) held wit...
Ken Moody
FLAIRS
1998
15 years 8 months ago
The Program Analysis Tool for Reuse: Identifying Reusable Components
Software reuse has been demonstrated to increase productivity, reduce costs, and improve software quality. The research that has addressed this problem has concentrated on code cr...
Letha H. Etzkorn, Carl G. Davis, Lisa L. Bowen, Ja...