15416 search results - page 2753 / 3084 » Embeddings of Computable Structures |
186
click to vote
LREC
2010
15 years 8 months ago
2010
This paper describes how heterogeneous data sources captured in the SignCom project may be used for the analysis and synthesis of French Sign Language (LSF) utterances. The captur...
169
click to vote
MEDIAFORENSICS
2010
15 years 8 months ago
2010
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...
178
click to vote
FORTE
2007
15 years 8 months ago
2007
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...
168
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
181
click to vote
IPCO
2008
15 years 8 months ago
2008
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...