1029 search results - page 145 / 206 » Compact representations of ordered sets |
102
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
118
click to vote
FAABS
2004
Springer
15 years 6 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
122
click to vote
FOIS
2006
15 years 3 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
AAAI
1994
15 years 3 months ago
1994
A description classifier organizes concepts and relations into a taxonomy based on the results of subsumption computations applied to pairs of relation definitions. Until now, des...
99
Voted
ACL
1996
15 years 3 months ago
1996
In this paper, we propose a textual clue approach to help metaphor detection, in order to improve the semantic processing of this figure. The previous works in the domain studied ...