4502 search results - page 757 / 901 » Regular Model Checking |
135
click to vote
CGI
2003
IEEE
15 years 10 months ago
2003
IEEE
Mesh simplification algorithms play an important role in computer graphics. In particular, view-dependent simplification methods are utilized widely to reduce the geometric comp...
148
click to vote
CW
2003
IEEE
15 years 10 months ago
2003
IEEE
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
159
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
137
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...
136
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...