3387 search results - page 384 / 678 » Model-Checking for Real-Time Systems |
183
click to vote
SEDE
2007
15 years 9 months ago
2007
When it comes to three dimensional computer animations, the use of live actors to control the movements of onscreen characters produces a realism that is unsurpassed. But so are t...
214
click to vote
WSCG
2004
15 years 8 months ago
2004
Simulation has been used traditionally to solve other areas problems. Real time applications like videogames use typically a continuous simulation scheme. That way of operation ha...
252
Voted
VIP
2003
15 years 8 months ago
2003
This paper presents a novel approach for creating curvilinear, texture mapped, 3D scene models from a single painting or photograph with no prior internal knowledge about the shap...
194
Voted
IJIG
2008
15 years 7 months ago
2008
The Perspective-N-Point problem (PNP) is a notable problem in computer vision. It consists in, given N points known in an object coordinate space and their projection onto the ima...
230
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...