Sciweavers

1383 search results - page 192 / 277
» Directionally adaptive super-resolution
Sort
View
ICIP
2003
IEEE
15 years 10 months ago
Detection and counting of cars in aerial images
This paper introduces a new approach to automatic car detection in monocular large scale aerial images. The extraction is based on a hierarchical 3D-model that describes the promi...
S. Hinz
ISWC
2003
IEEE
15 years 10 months ago
Coarse, Inexpensive, Infrared Tracking for Wearable Computing
We present a novel, inexpensive, coarse tracking system that determines a person’s approximate 2D location and 1D head orientation in an indoor environment. While this coarse tr...
Drexel Hallaway, Tobias Höllerer, Steven Fein...
LICS
2003
IEEE
15 years 10 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
CAISE
2003
Springer
15 years 10 months ago
OMNIX: A Topology-Independent P2P Middleware
Peer-to-Peer (P2P) computing has been increasingly gaining interest. P2P architectures are no longer just used for sharing music files over the InP2P middleware systems attempt to...
Roman Kurmanowytsch, Engin Kirda, Clemens Kerer, S...
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 10 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...