696 search results - page 58 / 140 » Explaining abstract counterexamples |
104
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
103
Voted
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- Seeding the population of an evolutionary algorithm with solutions from previous runs has proved to be useful when learning control strategies for agents operating in a c...
118
Voted
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
104
click to vote
FSMNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
115
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...