Sciweavers

1155 search results - page 76 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
WSC
2001
15 years 1 months ago
Practical approaches for validating a construction simulation
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
Jonathan Jingsheng Shi
AAAI
2012
13 years 2 months ago
Strategic Advice Provision in Repeated Human-Agent Interactions
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claud...
ICDM
2010
IEEE
213views Data Mining» more  ICDM 2010»
14 years 9 months ago
Modeling Experts and Novices in Citizen Science Data for Species Distribution Modeling
Citizen scientists, who are volunteers from the community that participate as field assistants in scientific studies [3], enable research to be performed at much larger spatial and...
Jun Yu, Weng-Keen Wong, Rebecca A. Hutchinson
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 5 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
MONTEREY
2007
Springer
15 years 5 months ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...