12289 search results - page 471 / 2458 » System modeling with mixed object and data models |
195
click to vote
SPIN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
197
click to vote
VRST
2004
ACM
16 years 9 days ago
2004
ACM
Global illumination dramatically improves realistic appearance of rendered scenes, but usually it is neglected in VR systems due to its high costs. In this work we present an effi...
240
click to vote
CAIP
2007
Springer
16 years 1 months ago
2007
Springer
— Background subtraction is a method commonly used to segment objects of interest in image sequences. By comparing new frames to a background model, regions of interest can be fo...
212
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Numerous algorithms to macromodel a linear time-invariant (LTI) system from its frequency-domain sampling data have been proposed in recent years [1, 2, 3, 4, 5, 6, 7, 8], among w...
188
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
— P2P streaming tries to achieve scalability (like P2P file distribution) and at the same time meet real-time playback requirements. It is a challenging problem still not well u...