Sciweavers

3856 search results - page 22 / 772
» Models for Automated Earthmoving
Sort
View
CSL
2006
Springer
13 years 10 months ago
Unlimited vocabulary speech recognition with morph language models applied to Finnish
Teemu Hirsimäki, Mathias Creutz, Vesa Siivola...
ICMT
2011
Springer
13 years 1 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 7 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
IJCAT
2010
132views more  IJCAT 2010»
13 years 8 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
CAISE
2007
Springer
14 years 4 months ago
Automated Semantic Analyses of Conceptual Models
Conceptual models are an important repository for knowledge in companies and public institutions. The retrieval of this knowledge can prepare reorganisations projects and support I...
Jörg Becker, Daniel Pfeiffer