6693 search results - page 44 / 1339 » Methods of Automatic Algorithm Generation |
TVLSI
2008
15 years 2 months ago
2008
The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...
124
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
107
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
130
Voted
COCOA
2008
Springer
15 years 3 months ago
2008
Springer
Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of sol...
163
click to vote
VTS
1996
IEEE
15 years 6 months ago
1996
IEEE
A fault-oriented sequential circuit test generator is described in which various types of distinguishing sequences are derived, both statically and dynamically, to aid the test ge...