780 search results - page 33 / 156 » Compositional Quantitative Reasoning |
114
click to vote
JCIT
2010
14 years 9 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
136
click to vote
PAMI
2010
15 years 24 days ago
2010
—In this paper we present a compositional and dynamic model for face aging. The compositional model represents faces in each age group by a hierarchical And-Or graph, in which An...
118
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
144
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
143
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...