Sciweavers

361 search results - page 29 / 73
» Automatic Generation of Some Results in Finite Algebra
Sort
View
WACV
2002
IEEE
14 years 1 months ago
Automatic Pose Estimation of Complex 3D Building Models
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
Sung Chun Lee, Soon Ki Jung, Ramakant Nevatia
CIARP
2007
Springer
14 years 2 months ago
Image Segmentation Using Automatic Seeded Region Growing and Instance-Based Learning
Segmentation through seeded region growing is widely used because it is fast, robust and free of tuning parameters. However, the seeded region growing algorithm requires an automat...
Octavio Gómez, Jesús A. Gonzá...
COR
2008
164views more  COR 2008»
13 years 8 months ago
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
Enrique Alba, J. Francisco Chicano
CAV
2004
Springer
154views Hardware» more  CAV 2004»
14 years 7 days ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
IPPS
2006
IEEE
14 years 2 months ago
Automatically translating a general purpose C++ image processing library for GPUs
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kell...