426 search results - page 32 / 86 » Towards Verifying Model Transformations |
ECSA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
CSL
2007
Springer
13 years 9 months ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Eye detection is very important for automatic face recognition and gaze tracking. In this paper we propose an algorithm for eye detection under active infrared (IR) illumination. ...
AAMAS
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...
DAWAK
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...