912 search results - page 49 / 183 » Abstract Saturation-Based Inference |
108
click to vote
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
LFP
1992
14 years 11 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
68
Voted
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Ontologies constitute a pertinent mean to define and to manage competencies and knowledge in companies. The powerful inference mechanisms coming with ontologies allow imp...
ESOP
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...