4609 search results - page 54 / 922 » Automatic Generation of Sigma-Protocols |
123
click to vote
CLEF
2009
Springer
15 years 6 months ago
2009
Springer
This report outlines our participation in CLEF-IP's 2009 prior art search task. In the task's initial year our focus lay on the automatic generation of effective queries...
154
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces a new approach to develop a fast gait for quadruped robot using genetic programming (GP). Several recent approaches have focused on the genetic algorithm (GA...
158
click to vote
ECIR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents first steps towards building a music information system like last.fm, but with the major difference that the data is automatically retrieved from the ...
186
Voted
VTS
1996
IEEE
15 years 9 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...
125
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we present an innovative approach to automatically generate adjacency grammars describing graphical symbols. A grammar production is formulated in terms of rulesets ...