1991 search results - page 255 / 399 » Small Models of Large Machines |
134
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
131
click to vote
ESWA
2008
15 years 4 months ago
2008
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
181
click to vote
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
123
click to vote
RAID
2004
Springer
15 years 9 months ago
2004
Springer
Worm detection systems have traditionally used global strategies and focused on scan rates. The noise associated with this approach requires statistical techniques and large data s...
152
click to vote
ECCV
2000
Springer
15 years 8 months ago
2000
Springer
This paper offers a novel detection method, which works well even in the case of a complicated image collection – for instance, a frontal face under a large class of linear tran...