365 search results - page 28 / 73 » Liveness in Timed and Untimed Systems |
TIME
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
ISMIR
2004
Springer
14 years 3 months ago
2004
Springer
We present a new system for the estimation of note attributes from a live monophonic music source, within a short time delay and without any previous knowledge of the signal. The ...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
—For a long time, life sciences were restricted to look at animal habitats only post-factum. Pervasive computing puts us in the novel position to gain live views. In this paper w...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Electricity production emits carbon dioxide and other gases into the atmosphere, adversely influences global climate change, depletes limited natural resources, and negatively imp...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a novel keyframe selection and recognition
method for robust markerless real-time camera tracking.
Our system contains an ofine module to select features
from a grou...