Sciweavers

11808 search results - page 2017 / 2362
» Isometries and Computability Structures
Sort
View
MEDIAFORENSICS
2010
15 years 8 months ago
Managing a large database of camera fingerprints
Sensor fingerprint is a unique noise-like pattern caused by slightly varying pixel dimensions and inhomogeneity of the silicon wafer from which the sensor is made. The fingerprint...
Miroslav Goljan, Jessica J. Fridrich, Tomás...
FORTE
2007
15 years 8 months ago
The DHCP Failover Protocol: A Formal Perspective
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy ...
GRAPHICSINTERFACE
2007
15 years 8 months ago
Jump: a system for interactive, tangible queries of paper
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
Michael Terry, Janet Cheung, Justin Lee, Terry Par...
IPCO
2008
163views Optimization» more  IPCO 2008»
15 years 8 months ago
The Air Traffic Flow Management Problem: An Integer Optimization Approach
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
Dimitris Bertsimas, Guglielmo Lulli, Amedeo R. Odo...
LREC
2008
99views Education» more  LREC 2008»
15 years 8 months ago
Extracting Concrete Senses of Lexicon through Measurement of Conceptual Similarity in Ontologies
The measurement of conceptual similarity in a hierarchical structure has been proposed by studies such as Wu and Palmer (1994) which have been summarized and evaluated in Budanisk...
Siaw-Fong Chung, Laurent Prévot, Mingwei Xu...
« Prev « First page 2017 / 2362 Last » Next »