2025 search results - page 107 / 405 » On the Utility of Inference Mechanisms |
IJCNLP
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
— Mercator is a program that uses hop-limited probes—the same primitive used in traceroute—to infer an Internet map. It uses informed random address probing to carefully expl...
TPHOL
2000
IEEE
14 years 1 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
FSTTCS
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
AVBPA
1997
Springer
14 years 1 months ago
1997
Springer
We suggest a novel attentional mechanism for detection of smooth convex and concave objects based on direct processing of intensity values. The operator detects the regions of the ...