2920 search results - page 471 / 584 » Finite information logic |
178
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
A number of recent technological trends have made data intensive applications such as continuous media audio and video servers a reality. These servers are expected to play an i...
173
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...
185
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...
183
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
Resource and service discovery, data transfer or replica management, are some examples of basic operations of a grid which can gain efficiency by using multicast transmission tech...
179
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...