396 search results - page 42 / 80 » Combining decision procedures for the reals |
118
Voted
CAV
2012
Springer
13 years 4 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
149
click to vote
IPMI
2005
Springer
16 years 2 months ago
2005
Springer
We propose to segment 3D structures with competitive level sets driven by fuzzy control. To this end, several contours evolve simultaneously toward previously defined anatomical ta...
124
click to vote
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...
110
click to vote
ICCHP
2004
Springer
15 years 7 months ago
2004
Springer
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
104
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...