3856 search results - page 429 / 772 » Models for Automated Earthmoving |
215
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
203
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a fully automated 3D reconstruction
and visualization system for architectural scenes (interiors
and exteriors). The reconstruction of indoor environments
fr...
172
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
185
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
165
click to vote
WEBI
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...