3207 search results - page 508 / 642 » A Semantics for HTN Methods |
158
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
184
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
164
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
We consider the problem of visual categorization with minimal supervision during training. We propose a partbased model that loosely captures structural information. We represent ...
159
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
119
click to vote
COLING
2008
15 years 6 months ago
2008
This paper describes the supervised acquisition of semantic event frames based pus of biomedical abstracts, in which the biological process of E. coli gene regulation has been lin...