5350 search results - page 814 / 1070 » Space and time in eco-ontologies |
166
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
186
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
187
click to vote
WABI
2005
Springer
16 years 3 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
161
click to vote
WEBI
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
158
click to vote
ASPDAC
2004
ACM
16 years 1 days ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...