4047 search results - page 413 / 810 » Algebraic Model Checking |
162
click to vote
IPPS
2005
IEEE
16 years 12 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 ...
162
click to vote
APSEC
2007
IEEE
15 years 10 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...
169
click to vote
ICDE
1993
IEEE
15 years 11 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
169
click to vote
CJ
2006
15 years 6 months ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
188
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Markov Random Field (MRF) models are a popular tool for vision and image processing. Gaussian MRF models are particularly convenient to work with because they can be implemented u...