6608 search results - page 993 / 1322 » On the Completeness of Model Checking |
158
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
210
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
189
click to vote
ICDE
1994
IEEE
15 years 11 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
286
click to vote
Lecture Notes
The main objective of the course is for students to be able to analyze problems in microeconomic theory at the beginning graduate level. Students successfully completing the course...
175
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
General SFM methods give poor results for images captured by constrained motions such as planar motion of concentric mosaics (CM). In this paper, we propose new SFM algorithms for...