Sciweavers

1119 search results - page 133 / 224
» Single View Metrology
Sort
View
SAMOS
2009
Springer
16 years 28 days ago
Experiences with Cell-BE and GPU for Tomography
Tomography is a powerful technique for three-dimensional imaging, that deals with image reconstruction from a series of projection images, acquired along a range of viewing directi...
Sander van der Maar, Kees Joost Batenburg, Jan Sij...
ICASSP
2008
IEEE
16 years 25 days ago
Path-constrained partial music synchronization
Digital music collections often contain different versions and interpretations of a single musical work. In view of music retrieval and browsing applications, one important task, ...
Meinard Mueller, Daniel Appelt
ICIW
2008
IEEE
16 years 25 days ago
A Framework for Generic Internet-Based Information Notification
This paper introduces a framework to monitor information available dynamically on the Internet through web services, RSS feeds or dynamic HTML documents based on user defined crit...
Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar
FOSSACS
2007
Springer
16 years 16 days ago
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
Augusto Parma, Roberto Segala
ISMAR
2006
IEEE
16 years 12 days ago
Using aerial photographs for improved mobile AR annotation
We present a mobile augmented reality system for outdoor annotation of the real world. To reduce user burden, we use aerial photographs in addition to the wearable system’s usua...
Jason Wither, Stephen DiVerdi, Tobias Höllere...