Sciweavers

1002 search results - page 177 / 201
» Reasoning about Object Structures Using Ownership
Sort
View
ICIA
2007
14 years 5 days ago
Learning Interaction between Conflicting Human Agents and Their Assistants
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
Boris Galitsky, Boris Kovalerchuk
AIPS
2009
13 years 11 months ago
Flexible Execution of Plans with Choice
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
Patrick R. Conrad, Julie A. Shah, Brian C. William...
ECAI
2010
Springer
13 years 11 months ago
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
Davide Bresolin, Dario Della Monica, Valentin Gora...
ICCV
1999
IEEE
14 years 11 months ago
Roxels: Responsibility Weighted 3D Volume Reconstruction
This paper examines the problem of reconstructing a voxelized representation of 3D space from a series of images. An iterative algorithm is used to find the scene model which join...
Jeremy S. De Bonet, Paul A. Viola
ISBI
2006
IEEE
14 years 10 months ago
Quasi-hierarchical, interactive navigation of images and meta-data in the Open Microscopy Environment
Databases containing microscopy images and associated meta-data present users with the challenge of interpreting complex interrelationships between objects. Effective user tools m...
Harry Hochheiser, Ilya G. Goldberg