77016 search results - page 395 / 15404 » Modeling Modeling |
162
click to vote
SOSYM
2008
15 years 6 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
165
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
160
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
185
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since it is not possible to construct in real...
169
Voted
ACCV
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents an occupancy based generative model of stereo and multi-view stereo images. In this model, the space is divided into empty and occupied regions. The depth of a ...