1134 search results - page 30 / 227 » Using Constraints with Action Language for Model Evolution |
75
Voted
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
135
click to vote
PLPV
2011
ACM
14 years 11 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
84
Voted
ESOP
2003
Springer
15 years 2 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
103
click to vote
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...
76
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...