3954 search results - page 398 / 791 » Image-based Model Completion |
143
Voted
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
119
click to vote
IMR
2004
Springer
15 years 10 months ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
137
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
117
Voted
NOSSDAV
2004
Springer
15 years 10 months ago
2004
Springer
In peer-to-peer overlay for video broadcast, peers contribute a portion of the bandwidth to the overlay in return for the service. In the presence of network heterogeneity, it is ...
144
Voted
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...