675 search results - page 87 / 135 » Programming Constraint Inference Engines |
BC
2010
13 years 5 months ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
ECLIPSE
2006
ACM
14 years 2 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
ICSE
2010
IEEE-ACM
14 years 26 days ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...