1261 search results - page 142 / 253 » A Hierarchy of Temporal Properties |
AIPS
2009
13 years 11 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
ENTCS
2006
13 years 10 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
IJCSA
2007
13 years 10 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
KI
2002
Springer
13 years 10 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper describes an approach for video structuring and indexing. It relies on motion wavelet coefficients directly estimated from image sequence. These coefficients provide a ...