Sciweavers

2819 search results - page 391 / 564
» Automatic Structures
Sort
View
PASTE
2010
ACM
15 years 9 months ago
Extracting compiler provenance from program binaries
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu
GECCO
2006
Springer
218views Optimization» more  GECCO 2006»
15 years 8 months ago
Genetic programming with primitive recursion
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
Stefan Kahrs
LREC
2010
164views Education» more  LREC 2010»
15 years 6 months ago
Challenges in Building a Multilingual Alpine Heritage Corpus
This paper describes our efforts to build a multilingual heritage corpus of alpine texts. Currently we digitize the yearbooks of the Swiss Alpine Club which contain articles in Fr...
Martin Volk, Noah Bubenhofer, Adrian Althaus, Maya...
CLIMA
2004
15 years 5 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
IJCV
2006
236views more  IJCV 2006»
15 years 4 months ago
A Feature-based Approach for Dense Segmentation and Estimation of Large Disparity Motion
We present a novel framework for motion segmentation that combines the concepts of layer-based methods and feature-based motion estimation. We estimate the initial correspondences...
Josh Wills, Sameer Agarwal, Serge Belongie