2374 search results - page 160 / 475 » Automatic Generation of Model Translations |
187
click to vote
CONTEXT
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
199
click to vote
LREC
2008
15 years 8 months ago
2008
Systems that automatically process sign language rely on appropriate data. We therefore present the ATIS sign language corpus that is based on the domain of air travel information...
160
click to vote
SARA
2007
Springer
16 years 18 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
183
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
147
click to vote
PPAM
2007
Springer
16 years 19 days ago
2007
Springer
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...