Sciweavers

11151 search results - page 87 / 2231
» On the Complexity of Model Expansion
Sort
View
IVA
2005
Springer
14 years 3 months ago
Modeling Dynamic Perceptual Attention in Complex Virtual Environments
An important characteristic of a virtual human is the ability to direct its perceptual attention to entities and areas in a virtual environment in a manner that appears believable ...
Youngjun Kim, Martin Van Velsen, Randall W. Hill J...
MFCS
2005
Springer
14 years 3 months ago
The Complexity of Model Checking Higher Order Fixpoint Logic
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
Martin Lange, Rafal Somla
ICASSP
2008
IEEE
14 years 4 months ago
Complexity modeling of scalable video decoding
This paper addresses the computational complexity of scalable video decoding using emerging scalable extension of H.264/AVC (SVC) standard compliant decoder. Scalable functionalit...
Zhan Ma, Yao Wang
AHS
2007
IEEE
202views Hardware» more  AHS 2007»
13 years 10 months ago
PERPLEXUS: Pervasive Computing Framework for Modeling Complex Virtually-Unbounded Systems
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
Eduardo Sanchez, Andrés Pérez-Uribe,...
MICCAI
2004
Springer
14 years 11 months ago
Construction of 3D Dynamic Statistical Deformable Models for Complex Topological Shapes
Abstract. This paper describes the construction of 3D dynamic statistical deformable models for complex topological shapes. It significantly extents the existing framework in that ...
Paramate Horkaew, Guang-Zhong Yang