3009 search results - page 149 / 602 » The Expressive Rate of Constraints |
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...
100
click to vote
AICOM
2004
14 years 10 months ago
2004
Abstract. We address the problem of answering queries using expressive symmetric inter-schema constraints which allow to establish mappings between several heterogeneous informatio...
IJAOSE
2010
14 years 8 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
87
Voted
CVPR
2012
IEEE
13 years 19 days ago
2012
IEEE
In this paper, we address the problem of video object segmentation, which is to automatically identify the primary object and segment the object out in every frame. We propose a n...
87
Voted
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...