470 search results - page 3 / 94 » FORM facts |
KI
2001
Springer
14 years 5 days ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
COLING
1996
13 years 9 months ago
1996
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
JAIR
2008
13 years 7 months ago
2008
Levesque proposed a generalization of a database called a proper knowledge base (KB), which is equivalent to a possibly infinite consistent set of ground literals. In contrast to ...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
DATE
2002
IEEE
14 years 20 days ago
2002
IEEE
In this paper we present efficient closed-form formulas to estimate capacitive coupling-induced crosstalk noise for distributed RC coupling trees. The efficiency of our approach...