6399 search results - page 732 / 1280 » Display Models for Visualization |
249
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
167
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
177
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper describes a novel compound Markov random field model capable of realistic modelling of multispectral bidirectional texture function, which is currently the most adva...
203
click to vote
COSIT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The paper proposes a novel approach for a scale-dependent geometric simplification of 3D building models that are an integral part of virtual cities. In contrast to real-...
175
click to vote
CGF
2004
15 years 7 months ago
2004
This paper presents a system for modeling lichens and simulating their propagation and growth in a virtual scene. Lichens colonize almost every substrate in nature and play an imp...