5350 search results - page 200 / 1070 » Space and time in eco-ontologies |
162
click to vote
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
146
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Many classes of image data span a low dimensional nonlinear space embedded in the natural high dimensional image space. We adopt and generalize a recently proposed dimensionality ...
204
click to vote
SSDBM
1994
IEEE
15 years 10 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
158
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
The last decade has seen a huge interest in classification of time series. Most of this work assumes that the data resides in main memory and is processed offline. However, recent...
171
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...