13913 search results - page 166 / 2783 » models 2007 |
173
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
173
click to vote
ACL
2004
15 years 8 months ago
2004
This paper describes a noisy channel model of speech repairs, which can identify and correct repairs in speech transcripts. A syntactic parser is used as the source model, and a n...
159
Voted
AUTOMATICA
2004
15 years 6 months ago
2004
The focus of this survey is the modeling and control of bipedal locomotion systems. More speci
104
click to vote
AMC
2005
15 years 7 months ago
2005
A diffuse-interface model is considered for solving axisymmetric immiscible twophase flow with surface tension. The Navier
189
Voted
IJCAI
2007
15 years 8 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...