939 search results - page 83 / 188 » A Case for Polyscopic Structuring of Information |
ECIS
2001
13 years 10 months ago
2001
Information and communication technology provides design options for the creation of economic value. We consider a particular architecture for the creation of economic value: the ...
TREC
2001
13 years 10 months ago
2001
The core of our question-answering mechanism is searching for predefined patterns of textual expressions that may be interpreted as answers to certain types of questions. The pres...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
Sensor localization typically exploits distance measurements to infer sensor positions with respect to known anchor nodes. Missing or unreliable measurements for specific nodes c...
TCOS
2008
13 years 8 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
TCS
2008
13 years 8 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...