1757 search results - page 63 / 352 » Alternating Refinement Relations |
WSC
2008
15 years 2 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
80
Voted
ACL
1998
15 years 1 months ago
1998
This paper presents a method that conbines a set of unsupervised algorithms in order to accurately build large taxonomies from any machine-readable dictionary (MRD). Our aim is to...
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
105
Voted
IJFCS
2006
15 years 17 days ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
113
click to vote
TCS
2008
15 years 14 days ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...