21430 search results - page 3896 / 4286 » Abstract Effective Models |
153
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
148
Voted
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
163
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A method for exploiting the information in low-level image segmentations for the purpose of object recognition is presented. The key idea is to use a whole ensemble of se...
121
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
148
Voted
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we propose a foundational ontology of the social concepts of organization and role which structure institutions. We identify which axioms model social conce...