Sciweavers

3954 search results - page 335 / 791
» Image-based Model Completion
Sort
View
CRV
2005
IEEE
181views Robotics» more  CRV 2005»
15 years 12 months ago
Video with Ground-Truth for Validation of Visual Registration, Tracking and Navigation Algorithms
A fundamental task in computer vision is that of determining the position and orientation of a moving camera relative to an observed object or scene. Many such visual tracking alg...
Rustam Stolkin, Alistair Greig, John Gilby
ATAL
2005
Springer
15 years 12 months ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
NEUROSCIENCE
2001
Springer
15 years 10 months ago
Modularity and Specialized Learning: Mapping between Agent Architectures and Brain Organization
This volume is intended to help advance the field of artificial neural networks along the lines of complexity present in animal brains. In particular, we are interested in examin...
Joanna Bryson, Lynn Andrea Stein
ICRE
1998
IEEE
15 years 10 months ago
Safety Analysis of Requirements for a Product Family
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman,...
RTSS
1992
IEEE
15 years 10 months ago
Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
Kevin Jeffay