1134 search results - page 200 / 227 » Using Constraints with Action Language for Model Evolution |
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
104
Voted
INTERACTION
2009
ACM
15 years 2 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
78
Voted
COGSR
2011
14 years 4 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
91
Voted
TSMC
2010
14 years 4 months ago
2010
Reference models are an important aid for business process modeling and design. Their aim is to capture domain knowledge and assist in the design of enterprise specific business pr...