3028 search results - page 148 / 606 » Integrating Temporal Logics |
151
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
165
click to vote
LOGCOM
2002
15 years 4 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
118
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
Most cooperative work takes place in information-rich environments. However, studies of "information work" tend to focus on the decontextualized access and retrieval pro...
148
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
153
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Over the years, several spatio-temporal interest point detectors have been proposed. While some detectors can only extract a sparse set of scaleinvariant features, others allow for...