Sciweavers

1002 search results - page 34 / 201
» Reasoning about Object Structures Using Ownership
Sort
View
ECAI
2004
Springer
14 years 3 months ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...
ATAL
2004
Springer
14 years 3 months ago
Agents Swarming in Semantic Spaces to Corroborate Hypotheses
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...
Peter Weinstein, H. Van Dyke Parunak, Paul Chiusan...
ICCV
2007
IEEE
14 years 11 months ago
Recovering Occlusion Boundaries from a Single Image
Occlusion reasoning, necessary for tasks such as navigation and object search, is an important aspect of everyday life and a fundamental problem in computer vision. We believe tha...
Derek Hoiem, Andrew N. Stein, Alexei A. Efros, Mar...
IDS
1994
139views Database» more  IDS 1994»
14 years 2 months ago
Three Dimensional Interface for an Object Oriented Database
An experimental 3D interface to an object oriented database is described. It is hoped that using such techniques will help make complex data structures more comprehensible and eas...
Martin H. Rapley, Jessie B. Kennedy
PPOPP
2006
ACM
14 years 3 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...