9067 search results - page 455 / 1814 » Adaptive Model Checking |
165
click to vote
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
164
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
210
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...
193
click to vote
GEOINFO
2004
15 years 8 months ago
2004
: The performance of a walkthrough over terrain models is deeply influenced by the real scenario high level of details. To guarantee natural and smooth changes in a sequence of sce...