1849 search results - page 284 / 370 » Intelligent Expressions of Emotions |
173
Voted
AMAI
2004
Springer
16 years 8 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
162
click to vote
AMAI
2004
Springer
16 years 8 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
173
click to vote
DIAGRAMS
2004
Springer
16 years 8 days ago
2004
Springer
In problem solving a goal/subgoal is either solved by generating needed information from current information, or further decomposed into additional subgoals. In traditional problem...
164
Voted
DIAGRAMS
2004
Springer
16 years 8 days ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
199
click to vote
DIAGRAMS
2004
Springer
16 years 8 days ago
2004
Springer
We describe a method for drawing graph-enhanced Euler diagrams using a three stage method. The first stage is to lay out the underlying Euler diagram using a multicriteria optimizi...