7167 search results - page 216 / 1434 » A Technique for Invariant Generation |
182
click to vote
ERLANG
2003
ACM
16 years 14 days ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
211
click to vote
AADEBUG
1993
Springer
15 years 11 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
185
click to vote
DGCI
2008
Springer
15 years 9 months ago
2008
Springer
This paper extends, in a multi-dimensional framework, pattern recognition techniques for generation or recognition of digital lines. More precisely, we show how the connection bet...
164
click to vote
ICMLA
2008
15 years 8 months ago
2008
This paper presents a software system that is able to generate crosswords with no human intervention including definition generation and crossword compilation. In particular, the ...
202
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
This paper describes a technique for generating partition sequences of regions presenting long-term homogeneity in color and motion coherency in terms of affine models. The techni...