Sciweavers

2227 search results - page 162 / 446
» Reversibility and Models for Concurrency
Sort
View
BC
2004
106views more  BC 2004»
15 years 6 months ago
Biomechanical mechanism for transitions in phase and frequency of arm and leg swing during walking
As humans increase walking speed, there are concurrent transitions in the frequency ratio between arm and leg movements from 2:1 to 1:1 and in the phase relationship between the mo...
Masayoshi Kubo, Robert C. Wagenaar, Elliot Saltzma...
CVPR
2010
IEEE
15 years 9 months ago
Ray Markov Random Fields for Image-Based 3D Modeling: Model and Efficient Inference
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
Shubao Liu, David Cooper
CAISE
2005
Springer
15 years 11 months ago
A MDA-Compliant Environment for Developing User Interfaces of Information Systems
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
Jean Vanderdonckt
ISOLA
2010
Springer
15 years 4 months ago
WOMM: A Weak Operational Memory Model
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
Arnab De, Abhik Roychoudhury, Deepak D'Souza
CODES
2010
IEEE
15 years 4 months ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...