Sciweavers

451 search results - page 49 / 91
» Temporal Classes and OWL
Sort
View
UAI
2003
15 years 1 months ago
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
Charles Gretton, David Price, Sylvie Thiéba...
107
Voted
STACS
2001
Springer
15 years 4 months ago
On Presburger Liveness of Discrete Timed Automata
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
Zhe Dang, Pierluigi San Pietro, Richard A. Kemmere...
98
Voted
ICPR
2004
IEEE
16 years 1 months ago
ICA-FX Features for Classification of Singing Voice and Instrumental Sound
This paper describes a new approach in locating the segments of singing voice in pop musical songs. Initially, GLR distance measure is employed to temporally detect the boundaries...
Chong-Wah Ngo, Rynson W. H. Lau, Tat-Wan Leung
119
Voted
DCOSS
2008
Springer
15 years 2 months ago
On the Urban Connectivity of Vehicular Sensor Networks
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
Hugo Conceição, Michel Ferreira, Jo&...
128
Voted
ICML
2000
IEEE
16 years 1 months ago
Hierarchical Unsupervised Learning
We consider the problem of unsupervised classification of temporal sequences of facial expressions in video. This problem arises in the design of an adaptive visual agent, which m...
Shivakumar Vaithyanathan, Byron Dom