Sciweavers

4066 search results - page 209 / 814
» Almost Complete Sets
Sort
View
FCS
2007
15 years 8 months ago
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks
In many task-planning domains, dynamic assemblies of autonomous agents are replacing hierarchical organisations because they promise more agility. In such assemblies, interdepende...
J. Renze Steenhuisen, Cees Witteveen
BMCBI
2002
137views more  BMCBI 2002»
15 years 6 months ago
ORFer - retrieval of protein sequences and open reading frames from GenBank and storage into relational databases or text files
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
Konrad Büssow, Steve Hoffmann, Volker Sievert
CADE
2006
Springer
16 years 6 months ago
Using the TPTP Language for Writing Derivations and Finite Interpretations
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Al...
ICAIL
2005
ACM
16 years 3 days ago
A question-answering system for Portuguese juridical documents
We present a Question-Answering (QA) system for Portuguese juridical documents. The QA system was applied to the complete set of decisions from several Portuguese juridical instit...
Paulo Quaresma, Irene Pimenta Rodrigues
KR
2004
Springer
15 years 12 months ago
Majority Logic
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
Eric Pacuit, Samer Salame