1057 search results - page 71 / 212 » Testing from Formal Specifications, a Generic Approach |
138
Voted
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
Learning visual models of object categories notoriously requires thousands of training examples; this is due to the diversity and richness of object appearance which requires mode...
127
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
132
click to vote
ENTCS
2006
15 years 3 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
108
Voted
COLT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
109
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Our previous work has introduced a hyperheuristic (HH) approach based on Genetic Programming (GP). There, GP employs usergiven languages where domain-specific local heuristics ar...