Sciweavers

9509 search results - page 408 / 1902
» Complex Event Processing
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
16 years 1 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
IROS
2006
IEEE
141views Robotics» more  IROS 2006»
16 years 27 days ago
Experimental Analysis of Overhead Data Processing To Support Long Range Navigation
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
David Silver, Boris Sofman, Nicolas Vandapel, J. A...
FOCS
2005
IEEE
16 years 15 days ago
Hardness of Approximating the Closest Vector Problem with Pre-Processing
d Abstract] Mikhail Alekhnovich ∗ Subhash A. Khot † Guy Kindler ‡ Nisheeth K. Vishnoi § We show that, unless NP⊆DTIME(2poly log(n) ), the closest vector problem with pre-...
Mikhail Alekhnovich, Subhash Khot, Guy Kindler, Ni...
ICDAR
2005
IEEE
16 years 14 days ago
Intelligent Document Processing
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
AOSE
2004
Springer
16 years 8 days ago
A Design Process for Adaptive Behavior of Situated Agents
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande ...