1941 search results - page 262 / 389 » Reasoning about Computations Using Two-Levels of Logic |
155
Voted
ARGMAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...
128
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
132
click to vote
AVSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
120
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...
150
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We consider the task of creating a 3-d model of a large novel environment, given only a small number of images of the scene. This is a difficult problem, because if the images are...