5205 search results - page 851 / 1041 » Tilings and model theory |
149
click to vote
3DPVT
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
187
click to vote
CIBCB
2006
IEEE
16 years 19 days ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
159
click to vote
CIG
2006
IEEE
16 years 19 days ago
2006
IEEE
— People play games for fun. Yet we are lacking a fundamental understanding of what fun is and how fun works in games and other media. For example, why do thousands of people spe...
176
click to vote
CRV
2006
IEEE
16 years 19 days ago
2006
IEEE
A regularization-based approach to 3-D reconstruction from multiple images is proposed. As one of the most widely used multiple-view 3-D reconstruction algorithms, Space Carving c...
149
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...