4245 search results - page 611 / 849 » Input Modeling |
158
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
181
click to vote
ISCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Analytical modeling is applied to the automated design of application-specific superscalar processors. Using an analytical method bridges the gap between the size of the design sp...
176
click to vote
ACCV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Many real objects, such as faces, sculptures, or low-reliefs are composed of many detailed parts that can not be easily modeled by an artist nor by 3D scanning. In this p...
190
click to vote
DNA
2007
Springer
16 years 22 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
187
click to vote
EDUTAINMENT
2007
Springer
16 years 22 days ago
2007
Springer
As many 3D on-line games appear, there is an increased need for simple and efficient techniques to create many new faces. This paper presents a new algorithm to composite 3D faces ...