2790 search results - page 284 / 558 » A generative theory of relevance |
168
click to vote
DSS
2007
15 years 6 months ago
2007
There is much literature in the area of emergency response management systems. Even so, there is in general a lacuna of literature that deals with the issue of measuring the effec...
179
Voted
ENTCS
2007
15 years 6 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
146
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
Identification of the short DNA sequence motifs that serve as binding targets for transcription factors is an important challenge in bioinformatics. Unsupervised techniques from t...
154
click to vote
RAS
2006
15 years 6 months ago
2006
Imitation in artificial systems involves a number of important aspects, such as extracting the relevant features of the demonstrated behaviour, inverse mapping observations, and e...
156
click to vote
IJCINI
2007
15 years 6 months ago
2007
The purpose of this paper is to re-address the vision of human-computer symbiosis as originally expressed by J.C.R. Licklider nearly a half-century ago and to argue for the releva...