89 search results - page 3 / 18 » Transformation Laws for UML-RT |
JDCTA
2010
13 years 18 days ago
2010
This paper presents a new method for solving a class of infinite horizon nonlinear optimal control problems. In this method, first the original optimal control problem is transfor...
RULEML
2010
Springer
13 years 4 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
FOIKS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
FAC
2010
13 years 4 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
JMIV
2006
13 years 5 months ago
2006
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...