2583 search results - page 213 / 517 » On the Representation of Timed Polyhedra |
192
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
185
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
185
click to vote
ICIAR
2007
Springer
15 years 8 months ago
2007
Springer
Mean-Shift tracking gained a lot of popularity in computer vision community. This is due to its simplicity and robustness. However, the original formulation does not estimate the o...
143
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we present ISO-TimeML, a revised and interoperable version of the temporal markup language, TimeML. We describe the changes and enrichments made, while framing the ...
155
click to vote
DLOG
2004
15 years 8 months ago
2004
Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems...