1471 search results - page 141 / 295 » Church: a language for generative models |
203
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
168
click to vote
AAAI
1994
15 years 7 months ago
1994
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...
146
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
157
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
166
click to vote
EDOC
2006
IEEE
16 years 13 days ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...