Sciweavers

246 search results - page 23 / 50
» The Truth About Defaults
Sort
View
USENIX
2003
13 years 11 months ago
Multiprocessor Support for Event-Driven Programs
This paper presents a new asynchronous programming library (libasync-smp) that allows event-driven applications to take advantage of multiprocessors by running code for event hand...
Nickolai Zeldovich, Alexander Yip, Frank Dabek, Ro...
ICIP
2001
IEEE
14 years 11 months ago
Indoor vs outdoor classification of consumer photographs using low-level and semantic features
Scene categorization to indoor vs outdoor may be approached by using low-level features for inferring high-level information about the image. Low-level features such as color and ...
Jiebo Luo, Andreas E. Savakis
KI
2007
Springer
14 years 4 months ago
Imagining Contexts
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
Ander Altuna
ICFEM
2005
Springer
14 years 3 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
WEBI
2005
Springer
14 years 3 months ago
Multi-Source Knowledge Bases and Ontologies with Multiple Individual and Social Viewpoints
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
Matthias Nickles, Ruth Cobos, Gerhard Weiß, ...