Sciweavers

4008 search results - page 546 / 802
» An expressive language of signatures
Sort
View
PAKM
2004
15 years 8 months ago
Incremental Knowledge Acquisition for Building Sophisticated Information Extraction Systems with KAFTIE
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
Son Bao Pham, Achim G. Hoffmann
SBBD
2004
133views Database» more  SBBD 2004»
15 years 8 months ago
Query Processing in ROSA Data Model
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
Fábio Coutinho, Fabio Porto
BIRTHDAY
2010
Springer
15 years 7 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
BMCBI
2008
122views more  BMCBI 2008»
15 years 6 months ago
OpenDMAP: An open source, ontology-driven concept analysis engine, with applications to capturing knowledge regarding protein tr
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
Lawrence Hunter, Zhiyong Lu, James Firby, William ...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 6 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys