339 search results - page 26 / 68 » The Retrieval Problem in a Concept Language with Number Rest... |
NLDB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Automated Text Categorization has reached the levels of accuracy of human experts. Provided that enough training data is available, it is possible to learn accurate autom...
LPNMR
1993
Springer
13 years 11 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
FOSSACS
2001
Springer
14 years 5 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
CIKM
2001
Springer
14 years 5 days ago
2001
Springer
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. As outlined in [1], the gene...
BMCBI
2010
13 years 7 months ago
2010
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...