3009 search results - page 149 / 602 » The Expressive Rate of Constraints |
108
Voted
ECSA
2010
Springer
15 years 1 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...
126
Voted
AICOM
2004
15 years 20 days 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...
104
Voted
IJAOSE
2010
14 years 11 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. ...
106
click to vote
CVPR
2012
IEEE
13 years 3 months 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...
107
click to vote
VMCAI
2009
Springer
15 years 7 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...