241 search results - page 28 / 49 » Towards Safe Model Transformation for Constraint-driven Mode... |
127
click to vote
RULEML
2010
Springer
14 years 10 months ago
2010
Springer
The Semantic Web aims at automating Web content understanding and user request satisfaction. Intelligent agents assist towards this by performing complex actions on behalf of their...
179
Voted
HOLOMAS
2011
Springer
14 years 3 days ago
2011
Springer
In the last decade we witnessed an increased demand for employment of unmanned aerial vehicles (UAV) in practise. For instance, there is a growing need to provide surveillance task...
119
click to vote
ICPR
2006
IEEE
15 years 6 months ago
2006
IEEE
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
101
Voted
TCS
2010
14 years 10 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
85
Voted
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...