1407 search results - page 56 / 282 » Using Use Cases in Executable Z |
107
Voted
JMIV
2010
15 years 1 months ago
2010
Preserving topological properties of objects during thinning procedures is an important issue in the field of image analysis. In the case of 2-D digital images (i.e. images defi...
117
click to vote
GPEM
2000
15 years 2 months ago
2000
ct. A Bayesian framework for genetic programming GP is presented. This is motivated by the observation that genetic programming iteratively searches populations of fitter programs ...
160
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
111
Voted
SIGMOD
1998
ACM
15 years 6 months ago
1998
ACM
Remote data access from disparate sources across a widearea network such as the Internet is problematic due to the unpredictable nature of the communications medium and the lack o...
152
click to vote
CASES
2008
ACM
15 years 4 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...