7918 search results - page 301 / 1584 » Model Composition Directives |
151
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
158
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
Semi-supervised learning has emerged as a popular framework for improving modeling accuracy while controlling labeling cost. Based on an extension of stochastic composite likeliho...
242
Voted
ENTCS
2006
15 years 4 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
145
click to vote
ENTCS
2006
15 years 4 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
128
Voted
ENTCS
2006
15 years 4 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...