Sciweavers

3818 search results - page 491 / 764
» Learning from Order Examples
Sort
View
ECCV
2004
Springer
16 years 6 months ago
The Quality of Catadioptric Imaging ? Application to Omnidirectional Stereo
Abstract. We investigate the influence of the mirror shape on the imaging quality of catadioptric sensors. For axially symmetrical mirrors we calculate the locations of the virtual...
Hansjürgen Dahmen, Hanspeter A. Mallot, Wolfg...
CAV
2007
Springer
126views Hardware» more  CAV 2007»
15 years 11 months ago
Shape Analysis for Composite Data Structures
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino...
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
15 years 10 months ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
Didier Buchs, Stanislav Chachkov, David Hurzeler
CIKM
2006
Springer
15 years 8 months ago
Classification spanning correlated data streams
In many applications, classifiers need to be built based on multiple related data streams. For example, stock streams and news streams are related, where the classification patter...
Yabo Xu, Ke Wang, Ada Wai-Chee Fu, Rong She, Jian ...
AAAI
2006
15 years 6 months ago
Evaluating Preference-based Search Tools: A Tale of Two Approaches
People frequently use the world-wide web to find their most preferred item among a large range of options. We call this task preference-based search. The most common tool for pref...
Paolo Viappiani, Boi Faltings, Pearl Pu