Sciweavers

734 search results - page 46 / 147
» Undecidability over Continuous Time
Sort
View
ISMIS
2009
Springer
14 years 3 months ago
Novelty Detection from Evolving Complex Data Streams with Time Windows
Abstract. Novelty detection in data stream mining denotes the identification of new or unknown situations in a stream of data elements flowing continuously in at rapid rate. This...
Michelangelo Ceci, Annalisa Appice, Corrado Loglis...
CONCUR
2006
Springer
14 years 12 days ago
On Interleaving in Timed Automata
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
Ramzi Ben Salah, Marius Bozga, Oded Maler
CORR
2010
Springer
183views Education» more  CORR 2010»
13 years 7 months ago
Discovering shared and individual latent structure in multiple time series
This paper proposes a nonparametric Bayesian method for exploratory data analysis and feature construction in continuous time series. Our method focuses on understanding shared fe...
Suchi Saria, Daphne Koller, Anna Penn
VLSID
2004
IEEE
181views VLSI» more  VLSID 2004»
14 years 9 months ago
Real Time Dynamic Voltage Scaling For Embedded Systems
This paper presents a very efficient and versatile method to handle Dynamic Voltage Scaling for minimizing energy consumption in an embedded system processor while maintaining rea...
Venkat Rao, Gaurav Singhal, Anshul Kumar
IWCM
2004
Springer
14 years 2 months ago
Determining the Translational Speed of a Camera from Time-Varying Optical Flow
Under certain assumptions, a moving camera can be self-calibrated solely on the basis of instantaneous optical flow. However, due to a fundamental indeterminacy of scale, instanta...
Anton van den Hengel, Wojciech Chojnacki, Michael ...