2223 search results - page 101 / 445 » Events in Property Patterns |
RV
2007
Springer
15 years 4 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
HRI
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Joint attention – the idea that humans make inferences from observable behaviors of other humans by attending to the objects and events that these others humans attend...
AUSDM
2007
Springer
15 years 4 months ago
2007
Springer
Time series data poses a significant variation to the traditional segmentation techniques of data mining because the observation is derived from multiple instances of the same und...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Cognitive Tutors are proven effective learning environments, but are still not as effective as one-on-one human tutoring. We describe an environment (ALPS) designed to engage stude...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...