Sciweavers

9509 search results - page 408 / 1902
» Complex Event Processing
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
16 years 2 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...
187
Voted
IROS
2006
IEEE
141views Robotics» more  IROS 2006»
16 years 1 months 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...
183
Voted
FOCS
2005
IEEE
16 years 1 months 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 1 months 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 1 months 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 ...