Sciweavers

1777 search results - page 260 / 356
» Surveillance Event Detection
Sort
View
132
Voted
UM
2005
Springer
15 years 9 months ago
Data-Driven Refinement of a Probabilistic Model of User Affect
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
Cristina Conati, Heather Maclaren
MM
2003
ACM
94views Multimedia» more  MM 2003»
15 years 8 months ago
Managing digital memories with the FXPAL photo application
The FXPAL Photo Application is designed to faciliate the organization of digital images from digital cameras and other sources through automated organization and intuitive user in...
John Adcock, Matthew L. Cooper, John Doherty, Jona...
128
Voted
CAV
2003
Springer
154views Hardware» more  CAV 2003»
15 years 8 months ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
HPDC
2000
IEEE
15 years 8 months ago
A Monitoring Sensor Management System for Grid Environments
Large distributed systems such as Computational Grids require a large amount of monitoring data be collected for a variety of tasks such as fault detection, performance analysis, ...
Brian Tierney, Brian Crowley, Dan Gunter, Mason Ho...
ENTCS
2006
94views more  ENTCS 2006»
15 years 3 months ago
Reactive Concurrent Programming Revisited
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
Roberto M. Amadio, Gérard Boudol, Fré...