413 search results - page 24 / 83 » BLID: An Application of Logical Information Systems to Bioin... |
CLEF
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the participation of the University of Alicante in the new CL-SR Track at CLEF conference. In this track we introduce a set of features in the topics processi...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
Modern computer work stations provide thousands of applications that store data in >100.000 files on the file system of the underlying OS. To handle these files data process...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Query logs record the queries and the actions of the users of search engines, and as such they contain valuable information about the interests, the preferences, and the behavior ...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...