Sciweavers

7049 search results - page 395 / 1410
» Data Abstraction for CSP-OZ
Sort
View
ICRA
2005
IEEE
102views Robotics» more  ICRA 2005»
16 years 13 days ago
Planning 3-D Path Networks in Unstructured Environments
Abstract— In this paper, we explore the problem of threedimensional motion planning in highly cluttered and unstructured outdoor environments. Because accurate sensing and modeli...
Nicolas Vandapel, James Kuffner, Omead Amidi
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
16 years 8 days ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
APWEB
2004
Springer
16 years 8 days ago
Labeling and Querying Dynamic XML Trees
Abstract With the growing importance of XML in data exchange, much research tends to provide a compact labeling scheme and a flexible query facility to extract data from dynamic XM...
Jiaheng Lu, Tok Wang Ling
CAISE
2004
Springer
16 years 7 days ago
Description Logics for Interoperability
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
Enrico Franconi
AVBPA
2003
Springer
184views Biometrics» more  AVBPA 2003»
16 years 2 days ago
Biometric Template Selection: A Case Study in Fingerprints
Abstract. A biometric authentication system operates by acquiring biometric data from a user and comparing it against the template data stored in a database in order to identify a ...
Anil K. Jain, Umut Uludag, Arun Ross