Sciweavers

7340 search results - page 400 / 1468
» The Behavior of Tutoring Systems
Sort
View
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
ACMICEC
2007
ACM
143views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Integrated personal recommender systems
Recommender Systems belong to a class of systems intended to assist individuals make evaluations about entities in meaningful ways. In this paper we discuss the issues in the desi...
Ronald Chung, David Sundaram, Ananth Srinivasan
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
16 years 1 months ago
A Simple Model for the Reliability of an Infrastructure System Controlled by Agents
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...
FMCAD
2009
Springer
16 years 1 months ago
Synthesizing robust systems
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
Roderick Bloem, Karin Greimel, Thomas A. Henzinger...
ICPR
2008
IEEE
16 years 1 months ago
SIFT features for object recognition and tracking within the IVSEE system
In this paper, we study the feasibility of SIFT features for the tasks of object recognition and tracking within the framework of the IVSEE system design. The IVSEE system is inte...
Fernando López-García