4609 search results - page 732 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
152
click to vote
GEOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
188
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
172
click to vote
IBPRIA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Piecewise-linear methods accomplish the registration by dividing the images in corresponding triangular patches, which are individually mapped through affine transformati...
263
click to vote
IBPRIA
2007
Springer
16 years 20 days ago
2007
Springer
Carotid atherosclerosis is the most common life-threatening neurological disease and therefore an accurate assessment of atheromatous plaques is clinically important. Several studi...