579 search results - page 66 / 116 » Constraint Validation in Model Compilers |
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In image-based light field rendering, many efforts have been made to improve the efficiency of the modeling. This efficiency pertains to the photorealism and compression of a give...
ICRA
2002
IEEE
14 years 27 days ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
VL
2000
IEEE
14 years 10 days ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
COR
2011
13 years 3 months ago
2011
The purpose of this paper is twofold. First, it explores the issue of producing valid, compact round-robin sports schedules by considering the problem as one of graph colouring. U...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...