Sciweavers

8450 search results - page 171 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
QEST
2010
IEEE
15 years 11 days ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
SAB
2010
Springer
150views Optimization» more  SAB 2010»
15 years 11 days ago
Internal Models in the Cerebellum: A Coupling Scheme for Online and Offline Learning in Procedural Tasks
The cerebellum plays a major role in motor control. It is thought to mediate the acquisition of forward and inverse internal models of the bodyenvironment interaction [1]. In this ...
Jean-Baptiste Passot, Niceto Luque, Angelo Arleo
CVPR
2012
IEEE
13 years 5 months ago
Social roles in hierarchical models for human activity recognition
We present a hierarchical model for human activity recognition in entire multi-person scenes. Our model describes human behaviour at multiple levels of detail, ranging from low-le...
Tian Lan, Leonid Sigal, Greg Mori
AOSE
2005
Springer
15 years 8 months ago
Supporting the Development of Multi-agent Interactions Via Roles
In the multi-agent scenario, interaction among agents is an issue that must be faced in an appropriate way. Modeling interactions by roles can simplify the development of the inter...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
CORR
2009
Springer
95views Education» more  CORR 2009»
15 years 9 days ago
Execution Models for Choreographies and Cryptoprotocols
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
Marco Carbone, Joshua D. Guttman