Sciweavers

4595 search results - page 137 / 919
» Reasoning about Plans
Sort
View
206
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
Debugging reinvented: asking and answering why and why not questions about program behavior
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
Andrew Jensen Ko, Brad A. Myers
CONTEXT
1999
Springer
15 years 11 months ago
Counterfactual Reasoning by Means of a Calculus of Narrative Context
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
Rolf Nossum, Michael Thielscher
CSCW
2010
ACM
16 years 3 months ago
Why the plan doesn't hold: a study of situated planning, articulation and coordination work in a surgical ward
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
Jakob E. Bardram, Thomas Riisgaard Hansen
CHI
2010
ACM
15 years 7 months ago
America is like Metamucil: fostering critical and creative thinking about metaphor in political blogs
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
Eric P. S. Baumer, Jordan Sinclair, Bill Tomlinson
CVPR
2008
IEEE
16 years 9 months ago
What can missing correspondences tell us about 3D structure and motion?
Practically all existing approaches to structure and motion computation use only positive image correspondences to verify the camera pose hypotheses. Incorrect epipolar geometries...
Christopher Zach, Arnold Irschara, Horst Bischof