Sciweavers

1071 search results - page 179 / 215
» Using Cell-DEVS for Modeling Complex Cell Spaces
Sort
View
116
Voted
EUROPAR
1999
Springer
15 years 7 months ago
DAOS - Scalable And-Or Parallelism
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...
Luís Fernando Castro, Vítor Santos C...
COCO
2008
Springer
97views Algorithms» more  COCO 2008»
15 years 5 months ago
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xi...
112
Voted
PR
2008
140views more  PR 2008»
15 years 3 months ago
A spatio-temporal 2D-models framework for human pose recovery in monocular sequences
This paper addresses the pose recovery problem of a particular articulated object: the human body. In this model-based approach, the 2D-shape is associated to the corresponding st...
Grégory Rogez, Carlos Orrite-Uruñuel...
EATIS
2007
ACM
15 years 7 months ago
Ontology Based Affective Context Representation
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...
Kuderna-Iulian Benta, Anca Rarau, Marcel Cremene
STACS
1999
Springer
15 years 7 months ago
Lower Bounds for Dynamic Algebraic Problems
Abstract. We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f...
Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter...