759 search results - page 106 / 152 » Test case generator for GUITAR |
148
Voted
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
102
click to vote
WEA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
101
Voted
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
125
click to vote
IEEEPACT
1997
IEEE
15 years 5 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...
103
click to vote
NIPS
2004
15 years 2 months ago
2004
A generative probabilistic model for objects in images is presented. An object consists of a constellation of features. Feature appearance and pose are modeled probabilistically. ...