4035 search results - page 227 / 807 » Useless Actions Are Useful |
213
click to vote
CIS
2004
Springer
15 years 12 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
163
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
161
click to vote
WSCG
2000
15 years 8 months ago
2000
To support 3D architectural modeling, geometric constraints are introduced. Explicit and implicit geometric relations between building elements can be expressed by the designer an...
169
click to vote
COLING
1992
15 years 7 months ago
1992
This paper presents a plan-based model of dialogue that combines world, linguistic, and contextual knowledge in order to recognize complex communicative actions such as expressing...
149
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes a system capable of semi-automatically filling an XML template from free texts in the clinical domain (practice guidelines). The XML template includes semanti...