Sciweavers

1155 search results - page 45 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
WELCOM
2001
Springer
111views ECommerce» more  WELCOM 2001»
15 years 3 months ago
User Modelling for Live Help Systems
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...
Johan Aberg, Nahid Shahmehri, Dennis Maciuszek
PADS
2006
ACM
15 years 5 months ago
Intelligent Management of Data Driven Simulations to Support Model Building
Artificial intelligence (AI) can contribute to the management of a data driven simulation system, in particular with regard to adaptive selection of data and refinement of the mo...
Catriona Kennedy, Georgios K. Theodoropoulos
ICMLA
2008
15 years 24 days ago
A Predictive Model for Imitation Learning in Partially Observable Environments
Learning by imitation has shown to be a powerful paradigm for automated learning in autonomous robots. This paper presents a general framework of learning by imitation for stochas...
Abdeslam Boularias
CHARME
2001
Springer
162views Hardware» more  CHARME 2001»
15 years 3 months ago
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
Kenneth L. McMillan
IBPRIA
2005
Springer
15 years 4 months ago
Multi-resolution Image Analysis for Vehicle Detection
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
Cristina Hilario, Juan Manuel Collado, Jose M. Arm...