2949 search results - page 257 / 590 » Transformations in Information Supply |
157
click to vote
MVA
2007
15 years 8 months ago
2007
In this paper, we describe a new technique for the automatic orientation of bedding in drill core from digital images. Images are planar pictures of the drill core, and we show th...
197
click to vote
CISST
2003
15 years 8 months ago
2003
There are numerous rectangular signboards indoors and outdoors. The information contained in them, such as signs and text, is useful for robot navigation. In this paper, a system ...
169
click to vote
NAACL
1994
15 years 8 months ago
1994
This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUSleverages off our spoken language technology deve...
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
202
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...