Sciweavers

581 search results - page 30 / 117
» Abstract Semantics by Observable Contexts
Sort
View
IJAR
2011
88views more  IJAR 2011»
14 years 4 months ago
A framework for reasoning under uncertainty based on non-deterministic distance semantics
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
Ofer Arieli, Anna Zamansky
SAC
2003
ACM
15 years 3 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli
ICTAC
2004
Springer
15 years 3 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Samuel Colin, Georges Mariano, Vincent Poirriez
SIGIR
2010
ACM
14 years 4 months ago
Personalised video retrieval: application of implicit feedback and semantic user profiles
TION ABSTRACT Personalised Video Retrieval: Application of Implicit Feedback and Semantic User Profiles Frank Hopfgartner University of Glasgow Glasgow G12 8QQ United Kingdom A ch...
Frank Hopfgartner
TCBB
2011
14 years 4 months ago
Semantics and Ambiguity of Stochastic RNA Family Models
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
Robert Giegerich, Christian Höner zu Siederdi...