Sciweavers

4287 search results - page 122 / 858
» Minimal Mental Models
Sort
View
IJCAI
1993
13 years 10 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
ICRA
2005
IEEE
107views Robotics» more  ICRA 2005»
14 years 2 months ago
Wheel Torque Control in Rough Terrain - Modeling and Simulation
Abstract - This paper presents a method for wheel-ground contact angle measurement and a traction control strategy minimizing slip in rough terrain. The slip minimization algorithm...
Pierre Lamon, Roland Siegwart
CAISE
2007
Springer
14 years 3 months ago
Towards more Reuse in Conceptual Modeling - A Combined Approach using Contexts
In this paper a novel reuse approach called context-based modeling is proposed. Context-based modeling combines the reuse mechanisms aggregation, restriction, and specialization. C...
Jörg Becker, Christian Janiesch, Daniel Pfeif...
CHI
2008
ACM
14 years 9 months ago
You've been warned: an empirical study of the effectiveness of web browser phishing warnings
Many popular web browsers now include active phishing warnings since research has shown that passive warnings are often ignored. In this laboratory study we examine the effectiven...
Serge Egelman, Lorrie Faith Cranor, Jason I. Hong
ICAIL
2005
ACM
14 years 2 months ago
Helping Law Students to Understand US Supreme Court Oral Arguments: A Planned Experiment
The transcripts of oral arguments before the US Supreme Court provide interesting opportunities from the viewpoint of legal education. As the pinnacle of legal argumentation, they...
Vincent Aleven, Kevin D. Ashley, Collin Lynch