5525 search results - page 992 / 1105 » Verification of Model Transformations |
104
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
In this demonstration, a prototype system for generating 3D cartoon from broadcast soccer video is proposed. This system takes advantage of computer vision (CV) and computer graph...
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
Efficient partitioning of parallel loops plays a critical role in high performance and efficient use of multiprocessor systems. Although a significant amount of work has been don...
105
Voted
SACMAT
2005
ACM
15 years 6 months ago
2005
ACM
We investigate a generalization of the notion of XML security view introduced by Stoica and Farkas [17] and later refined by Fan et al. [8]. The model consists of access control ...
138
Voted
ADC
2005
Springer
15 years 6 months ago
2005
Springer
The design and implementation of advanced personalized database applications requires a preference-driven approach. Representing preferences as strict partial orders is a good cho...
108
click to vote
CHARME
2005
Springer
15 years 6 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...