Sciweavers

4541 search results - page 282 / 909
» Cache-Oblivious Algorithms and Data Structures
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...
DASFAA
2007
IEEE
202views Database» more  DASFAA 2007»
16 years 1 months ago
Optimizing Moving Queries over Moving Object Data Streams
With the increasing in demand on location-based aware services and RFIDs, efficient processing of continuous queries over moving object streams becomes important. In this paper, w...
Dan Lin, Bin Cui, Dongqing Yang
MICAI
2004
Springer
16 years 17 hour ago
Faster Proximity Searching in Metric Data
A number of problems in computer science can be solved efficiently with the so called memory based or kernel methods. Among this problems (relevant to the AI community) are multime...
Edgar Chávez, Karina Figueroa
AAAI
1998
15 years 8 months ago
The Role of Data Reprocessing in Complex Acoustic Environments
The Integrated Processing and Understanding of Signals (IPUS) architecture is a general blackboard framework for structuring bidirectional interaction between front-end signal pro...
Frank Klassner, Victor R. Lesser, Hamid Nawab
ICST
2010
IEEE
15 years 5 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska