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 2 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 3 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
72
Voted
ICMLA
2008
14 years 11 months 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 1 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 3 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...