Sciweavers

29172 search results - page 359 / 5835
» Modeling Systems in CLP
Sort
View
ENTCS
2010
110views more  ENTCS 2010»
15 years 6 months ago
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
Michael D. Harrison, Mieke Massink
CVPR
2000
IEEE
16 years 8 months ago
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....
Michael Greiffenhagen, Visvanathan Ramesh, Dorin C...
CADE
2007
Springer
16 years 7 months ago
The Bedwyr System for Model Checking over Syntactic Expressions
David Baelde, Andrew Gacek, Dale Miller, Gopalan N...
AIED
2007
Springer
16 years 1 months ago
Lowering the Bar for Creating Model-Tracing Intelligent Tutoring Systems
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
Stephen Blessing, Stephen B. Gilbert, Steven Ourad...