386 search results - page 3 / 78 » A Consistent Semantics of Self-adjusting Computation |
ECOWS
2008
Springer
14 years 19 days ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
SEMCO
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper addresses the question of how to obtain consistent semantic annotation on the basis of a set of noisy texts. Many potential realworld applications of semantic computing...
COLING
2010
13 years 5 months ago
2010
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
RTA
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
DLOG
2009
13 years 8 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...