Sciweavers

1199 search results - page 82 / 240
» How to Compare the Power of Computational Models
Sort
View
HIPS
1998
IEEE
15 years 4 months ago
ZPL's WYSIWYG Performance Model
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
Bradford L. Chamberlain, Sung-Eun Choi, E. Christo...
DSN
2004
IEEE
15 years 3 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
ECCV
2006
Springer
15 years 3 months ago
Learning Semantic Scene Models by Trajectory Analysis
Abstract. In this paper, we describe an unsupervised learning framework to segment a scene into semantic regions and to build semantic scene models from longterm observations of mo...
Xiaogang Wang, Kinh Tieu, Eric Grimson
SBP
2012
Springer
13 years 7 months ago
Creating Interaction Environments: Defining a Two-Sided Market Model of the Development and Dominance of Platforms
Interactions between individuals, both economic and social, are increasingly mediated by technological systems. Such platforms facilitate interactions by controlling and regularizi...
Walter E. Beyeler, Andjelka Kelic, Patrick D. Finl...
CHI
2000
ACM
15 years 4 months ago
Instrumental interaction: an interaction model for designing post-WIMP user interfaces
This article introduces a new interaction model called Instrumental Interaction that extends and generalizes the principles of direct manipulation. It covers existing interaction ...
Michel Beaudouin-Lafon