1193 search results - page 70 / 239 » A primer of simple theories |
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by...
90
Voted
FP
1995
15 years 3 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
AML
2007
15 years 11 hour ago
2007
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
CGF
2008
14 years 12 months ago
2008
We propose an analysis of numerical integration based on sampling theory, whereby the integration error caused by aliasing is suppressed by pre-filtering. We derive a pre-filter f...
JCIT
2008
14 years 12 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...