Sciweavers

8337 search results - page 1379 / 1668
» Reasoning With Characteristic Models
Sort
View
AAAI
2011
14 years 6 months ago
A Switching Planner for Combined Task and Observation Planning
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
Moritz Göbelbecker, Charles Gretton, Richard ...
ECSA
2011
Springer
14 years 6 months ago
Architecture-Based Run-Time Fault Diagnosis
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
Paulo Casanova, Bradley R. Schmerl, David Garlan, ...
HOST
2011
IEEE
14 years 6 months ago
Enhancing security via provably trustworthy hardware intellectual property
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
Eric Love, Yier Jin, Yiorgos Makris
CVPR
2005
IEEE
16 years 8 months ago
Bi-Layer Segmentation of Binocular Stereo Video
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
Vladimir Kolmogorov, Antonio Criminisi, Andrew Bla...

Publication
342views
16 years 8 months ago
Understanding the relationships between regional accessibility travel behaviour and home value
Accessibility is a comprehensive measure of the interaction between land use and transportation systems. It has been put forward as a performance-measure for evaluating the land u...
Cerda, A. and El-Geneidy, A.
« Prev « First page 1379 / 1668 Last » Next »