2586 search results - page 443 / 518 » Automatic Abstraction for Congruences |
104
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
109
click to vote
FAC
2010
14 years 9 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
CAISE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
108
click to vote
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In speech recognition, phonemes have demonstrated their efficacy to model the words of a language. While they are well defined for languages, their extension to human act...
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In this paper we introduce a new representation for shapebased object class detection. This representation is based on very sparse and slightly flexible configurations of...