Sciweavers

348 search results - page 28 / 70
» Experiments with Reasoning for Temporal Relations between Ev...
Sort
View
CPAIOR
2006
Springer
14 years 16 days ago
Event-Driven Probabilistic Constraint Programming
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
Armagan Tarim, Brahim Hnich, Steven David Prestwic...
CHI
2009
ACM
14 years 9 months ago
Mirroring bodily experiences over time
Elsa Kosmack Vaara Kristina H??k The Affective Health system is a mobile lifestyle application that aims to empower people to reflect on their lives and lifestyles. The system logs...
Elsa Kosmack Vaara, Jakob Tholander, Kristina H&ou...
PTS
2008
109views Hardware» more  PTS 2008»
13 years 10 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
SP
2005
IEEE
14 years 2 months ago
Language-Based Generation and Evaluation of NIDS Signatures
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
Shai Rubin, Somesh Jha, Barton P. Miller
CVIU
2007
158views more  CVIU 2007»
13 years 8 months ago
Local velocity-adapted motion events for spatio-temporal recognition
In this paper, we address the problem of motion recognition using event-based local motion representations. We assume that similar patterns of motion contain similar events with c...
Ivan Laptev, Barbara Caputo, Christian Schüld...