Sciweavers

4541 search results - page 282 / 909
» Cache-Oblivious Algorithms and Data Structures
Sort
View
121
Voted
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 10 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»
15 years 10 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
122
Voted
MICAI
2004
Springer
15 years 9 months 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
121
Voted
AAAI
1998
15 years 5 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
126
Voted
ICST
2010
IEEE
15 years 2 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