749 search results - page 122 / 150 » Combinatory Models and Symbolic Computation |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
112
click to vote
ACMACE
2008
ACM
14 years 12 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
110
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
NIPS
2000
14 years 11 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
The context-centered approach to object detection and recognition is based on the intuition that the contextual information of real-world scenes provides relevant information for ...