7213 search results - page 369 / 1443 » Automated model grouping |
181
click to vote
BILDMED
2008
15 years 8 months ago
2008
Abstract. In this paper, we introduce a new method for hatching patient-specific, anatomic 3D surface models, in particular hatching of muscle surfaces. However, the method is tran...
172
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
: Intelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual lan...
242
click to vote
INFSOF
2000
15 years 6 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
177
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
209
click to vote
ASP
2005
Springer
16 years 11 days ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...