534 search results - page 54 / 107 » What is the difference between two maps |
ICCAD
1996
IEEE
14 years 27 days ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
MABS
2004
Springer
14 years 2 months ago
2004
Springer
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
Tangible Lightscapes is a research on interfaces mainly based on light and gestures. The aim of my exploration is to design a vocabulary of light behaviours to show people what th...
AUSAI
2004
Springer
14 years 2 months ago
2004
Springer
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
LREC
2010
13 years 10 months ago
2010
In this paper, we present our work on constructing a textual semantic relation corpus by making use of an existing treebank annotated with discourse relations. We extract adjacent...