Sciweavers

2827 search results - page 189 / 566
» CCured in the real world
Sort
View
ECSQARU
2009
Springer
15 years 10 months ago
Using Transfinite Ordinal Conditional Functions
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
Sébastien Konieczny
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Some Ways that Maps and Diagrams Communicate
Since ancient times, people have devised cognitive artifacts to extend memory and ease information processing. Among them are graphics, which use elements and the spatial relations...
Barbara Tversky
MVA
2007
122views Computer Vision» more  MVA 2007»
15 years 8 months ago
Free Parking Space Detection Using Optical Flow-based Euclidean 3D Reconstruction
An automatic parking system provides convenience for drivers by automatically finding free parking spaces and steering automobiles toward them. This paper proposes a vision-based ...
Jae Kyu Suhr, Kwanghyuk Bae, Jaihie Kim, Ho Gi Jun...
AIPS
2006
15 years 8 months ago
Explanation-Based Acquisition of Planning Operators
Classical planning algorithms require that their operators be simple in order for planning to be tractable. However, the complexities of real world domains suggest that, in order ...
Geoffrey Levine, Gerald DeJong
VMV
2000
122views Visualization» more  VMV 2000»
15 years 8 months ago
Building a Photo Studio for Measurement Purposes
A digital photo studio was built to generate high quality real world input data for various imagebased rendering and vision algorithms. Special attention was paid to carefully con...
Michael Goesele, Wolfgang Heidrich, Hendrik P. A. ...