Sciweavers

3918 search results - page 74 / 784
» Probabilistic model of triangulation
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
14 years 11 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
ACL
2010
14 years 9 months ago
A Probabilistic Generative Model for an Intermediate Constituency-Dependency Representation
We present a probabilistic model extension to the Tesni`ere Dependency Structure (TDS) framework formulated in (Sangati and Mazza, 2009). This representation incorporates aspects ...
Federico Sangati
120
Voted
TOG
2012
255views Communications» more  TOG 2012»
13 years 1 months ago
A probabilistic model for component-based shape synthesis
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
Evangelos Kalogerakis, Siddhartha Chaudhuri, Daphn...
AR
2011
14 years 6 months ago
Learning, Generation and Recognition of Motions by Reference-Point-Dependent Probabilistic Models
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...
Komei Sugiura, Naoto Iwahashi, Hideki Kashioka, Sa...
CLIMA
2011
13 years 10 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...