Sciweavers

581 search results - page 58 / 117
» Abstract Semantics by Observable Contexts
Sort
View
ECSQARU
2005
Springer
15 years 3 months ago
Possibility Theory for Reasoning About Uncertain Soft Constraints
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
IDA
2005
Springer
15 years 3 months ago
Probabilistic Latent Clustering of Device Usage
Abstract. We investigate an application of Probabilistic Latent Semantics to the problem of device usage analysis in an infrastructure in which multiple users have access to a shar...
Jean-Marc Andreoli, Guillaume Bouchard
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
14 years 11 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
FUIN
2008
89views more  FUIN 2008»
14 years 10 months ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
14 years 7 months ago
Utilizing reflection properties of surfaces to improve mobile robot localization
Abstract-- A main difficulty that arises in the context of probabilistic localization is the design of an appropriate observation model, i.e., determining the likelihood of a senso...
Maren Bennewitz, Cyrill Stachniss, Sven Behnke, Wo...