5945 search results - page 131 / 1189 » A Model for Projection and Action |
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
ITNG
2010
IEEE
13 years 11 months ago
2010
IEEE
This paper describes the application of an MDA development approach to the Project of Amazon Integration and Cooperation for Modernization of Hydrological Monitoring. This project...
AIMS
2010
Springer
14 years 1 months ago
2010
Springer
Management of outer edge domains is a big challenge for service providers due to the diversity, heterogeneity and large amount of such networks, together with limited visibility on...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
We rephrase the problem of 3D reconstruction from images in terms of intersections of projections of orbits of custom built Lie groups actions. We then use an algorithmic method b...
LISP
1998
13 years 8 months ago
1998
This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional la...