2374 search results - page 337 / 475 » Automatic Generation of Model Translations |
141
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
157
click to vote
CGF
2004
15 years 4 months ago
2004
Despite the notable progress in physically-based rendering, there is still a long way to go before we can automatically generate predictable images of biological materials. In thi...
137
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
Supervised text classification is the task of automatically assigning a category label to a previously unlabeled text document. We start with a collection of pre-labeled examples ...
139
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
: We present the use of mapping functions to automatically generate levels of detail with known error bounds for polygonal models. We develop a piece-wise linear mapping function f...
158
click to vote
CGF
2011
14 years 8 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...