824 search results - page 99 / 165 » A Multi-Sensor Object Localization System |
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In the frame of a Unified Messaging System, a crucial task of the system is to provide the user with key information on every message received, like keywords reflecting the object...
ICCS
2009
Springer
14 years 1 months ago
2009
Springer
MPI-I/O is a part of the MPI-2 specification defining file I/O operations for parallel MPI applications. Compared to regular POSIX style I/O functions, MPI I/O offers features ...
LCTRTS
1998
Springer
14 years 1 months ago
1998
Springer
Instruction scheduling is a necessary step in compiling for many modern microprocessors. Traditionally, global instruction scheduling techniques have outperformed local techniques....
DGO
2003
13 years 10 months ago
2003
This paper describes a Web-based query system for semantically heterogeneous geospatial data. Our goal is to provide DBMS type query capabilities to a proposed statewide land info...
ENTCS
2002
13 years 8 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...