12981 search results - page 533 / 2597 » Model Checking (Abstract) |
158
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
171
click to vote
ACIVS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this work we introduce a new technique for a frequently encountered problem in computer vision: image registration. The registration is computed by matching features, ...
188
click to vote
AI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
180
click to vote
CSCLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
169
click to vote
EUROPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...