9166 search results - page 49 / 1834 » A framework for comparing models of computation |
EUROPAR
2006
Springer
14 years 23 days ago
2006
Springer
This paper presents the integration of a multi-level scheduler in the YML architecture. It demonstrates the advantages of this architecture based on a component model and why it is...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
ICCV
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper presents a framework to reconstruct a scene captured in multiple camera views based on a prior model of the scene geometry. The framework is applied to the capture of a...
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we propose a parallel hybrid genetic method for solving Quadratic 3-dimensional Assignment Problem (Q3AP). This problem is proved to be computationally NP-hard. The ...