413 search results - page 4 / 83 » BLID: An Application of Logical Information Systems to Bioin... |
JASIS
2000
13 years 7 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
DILS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
MSCS
2006
13 years 7 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
BCS
2008
13 years 9 months ago
2008
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...