Sciweavers

1845 search results - page 289 / 369
» Automatic Initiation of an Ontology
Sort
View
SI3D
2010
ACM
16 years 1 months ago
Assisted texture assignment
Virtual environments are typically textured by manually choosing an image to apply on each surface. This implies browsing through large sets of generic textures for each and every...
Matthäus G. Chajdas, Sylvain Lefebvre, Marc S...
PERVASIVE
2010
Springer
16 years 1 months ago
GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home
This paper presents GasSense, a low-cost, single-point sensing solution for automatically identifying gas use down to its source (e.g., water heater, furnace, fireplace). This work...
Gabe Cohn, Sidhant Gupta, Jon Froehlich, Eric Lars...
CVPR
2009
IEEE
16 years 1 months ago
Saliency-based discriminant tracking
We propose a biologically inspired framework for visual tracking based on discriminant center surround saliency. At each frame, discrimination of the target from the background is...
Vijay Mahadevan, Nuno Vasconcelos
CCS
2009
ACM
16 years 1 months ago
Computational soundness for key exchange protocols with symmetric encryption
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
Ralf Küsters, Max Tuengerthal
FASE
2009
Springer
16 years 1 months ago
Logical Testing
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
Kathryn E. Gray, Alan Mycroft