Sciweavers

10406 search results - page 1886 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
ISMAR
2007
IEEE
15 years 10 months ago
Initialisation for Visual Tracking in Urban Environments
Outdoor augmented reality systems often rely on GPS to cover large environments. Visual tracking approaches can provide more accurate location estimates but typically require a ma...
Gerhard Reitmayr, Tom Drummond
PERCOM
2007
ACM
15 years 10 months ago
Sensor Web Design Studies for Realtime Dynamic Congestion Pricing
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
Milton Halem, Anand Patwardhan, Sandor Dornbush, M...
ICLP
2007
Springer
15 years 10 months ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
IPPS
2006
IEEE
15 years 10 months ago
Load balancing in the presence of random node failure and recovery
In many distributed computing systems that are prone to either induced or spontaneous node failures, the number of available computing resources is dynamically changing in a rando...
Sagar Dhakal, Majeed M. Hayat, Jorge E. Pezoa, Cha...
RSP
2006
IEEE
120views Control Systems» more  RSP 2006»
15 years 10 months ago
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
Isabelle Hurbain, Corinne Ancourt, François...
« Prev « First page 1886 / 2082 Last » Next »