Sciweavers

1984 search results - page 186 / 397
» The colourful feasibility problem
Sort
View
MOBIQUITOUS
2007
IEEE
16 years 24 days ago
Combining GPS and GSM Cell-ID positioning for Proactive Location-based Services
—Mobile terminals with built-in GPS receivers are becoming more and more available, thus the public deployment of location-based services (LBS) becomes feasible. Upcoming LBS are...
Nico Deblauwe, Peter Ruppel
QEST
2007
IEEE
16 years 24 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
VR
2007
IEEE
191views Virtual Reality» more  VR 2007»
16 years 23 days ago
A GPU Sub-pixel Algorithm for Autostereoscopic Virtual Reality
Autostereoscopic displays enable unencumbered immersive virtual reality, but at a significant computational expense. This expense impacts the feasibility of autostereo displays in...
Robert Kooima, Tom Peterka, Javier Girado, Jinghua...
CIVR
2007
Springer
123views Image Analysis» more  CIVR 2007»
16 years 21 days ago
Behavior monitoring through automatic analysis of video sequences
This paper addresses the problem of classifying actions performed by a human subject in a video sequence. A representation eigenspace approach based on the visual appearance is us...
Carlo Colombo, Dario Comanducci, Alberto Del Bimbo
IFSA
2007
Springer
149views Fuzzy Logic» more  IFSA 2007»
16 years 20 days ago
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interv
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
Martine Ceberio, Vladik Kreinovich, Andrzej Pownuk...