750 search results - page 97 / 150 » Desires, Norms and Constraints |
121
click to vote
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
126
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
In this paper, we present the design, implementation, and deployment of a phone-based broadcasting system designed for reaching out to at-risk populations in urban India. We worke...
220
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
129
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
115
click to vote
SI3D
2005
ACM
15 years 7 months ago
2005
ACM
It is difficult to obtain a specific region within unsegmented volume data (region of interest, ROI). The user must first segment the volume, a task which itself involves signi...