2042 search results - page 112 / 409 » Automatic Understanding of Signals |
ICLP
1997
Springer
14 years 2 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
GISCIENCE
2010
Springer
13 years 11 months ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
TCSV
2008
13 years 10 months ago
2008
Wedding is one of the most important ceremonies in our lives. It symbolizes the birth and creation of a new family. In this paper, we present a system for automatically segmenting ...
ICTAI
2010
IEEE
13 years 8 months ago
2010
IEEE
In recent years, with the rapid proliferation of digital images, the need to search and retrieve the images accurately, efficiently, and conveniently is becoming more acute. Automa...