Sciweavers

2583 search results - page 101 / 517
» On the Representation of Timed Polyhedra
Sort
View
JISBD
2003
14 years 11 months ago
Using Contextual Logic Programming for Temporal Reasoning
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
Vítor Nogueira, Salvador Abreu, Gabriel Dav...
ISMS
2004
Springer
15 years 3 months ago
Real-Time Incision Simulation Using Discontinuous Free Form Deformation
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
Guy Sela, Sagi Schein, Gershon Elber
DIAGRAMS
2008
Springer
14 years 11 months ago
Cognitive Methods for Visualizing Space, Time, and Agents
Visualizations of space, time, and agents (or objects) are ubiquitous in science, business, and everyday life, from weather maps to scheduling meetings. Effective communications, i...
Angela M. Kessell, Barbara Tversky
IS
2008
14 years 10 months ago
A dimensionality reduction technique for efficient time series similarity analysis
We propose a dimensionality reduction technique for time series analysis that significantly improves the efficiency and accuracy of similarity searches. In contrast to piecewise c...
Qiang Wang, Vasileios Megalooikonomou
ICST
2010
IEEE
14 years 8 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