366 search results - page 40 / 74 » Syntactic Abstraction of B Models to Generate Tests |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
CAV
2004
Springer
14 years 24 days ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
BC
2000
13 years 9 months ago
2000
Abstract. The juxtaposition of hypokinetic and hyperkinetic symptoms in Parkinson's disease (PD) presents a challenge in modeling the basal ganglia. We propose a model of the ...
ECML
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Ensemble methods are popular learning methods that usually increase the predictive accuracy of a classifier though at the cost of interpretability and insight in the deci...
KES
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...