Sciweavers

5695 search results - page 182 / 1139
» Using Many Cameras as One
Sort
View
BIRTHDAY
2010
Springer
13 years 11 months ago
Inferring Loop Invariants Using Postconditions
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
Carlo A. Furia, Bertrand Meyer
BIBM
2009
IEEE
155views Bioinformatics» more  BIBM 2009»
14 years 5 months ago
Towards Reliable Isoform Quantification Using RNA-Seq Data
Background: In eukaryotes, alternative splicing often generates multiple splice variants from a single gene. Here weexplore the use of RNA sequencing (RNA-Seq) datasets to address...
Brian E. Howard, Steffen Heber
GRAPHICSINTERFACE
2008
13 years 12 months ago
Context-controlled flow visualization in augmented reality
A major challenge of novel scientific visualization using Augmented Reality is the accuracy of the user/camera position tracking. Many alternative techniques have been proposed, b...
Mike Eissele, Matthias Kreiser, Thomas Ertl
CVPR
2006
IEEE
15 years 13 days ago
Tracking of the Articulated Upper Body on Multi-View Stereo Image Sequences
We propose a novel method for tracking an articulated model in a 3D-point cloud. The tracking problem is formulated as the registration of two point sets, one of them parameterise...
Julius Ziegler, Kai Nickel, Rainer Stiefelhagen
FC
2007
Springer
119views Cryptology» more  FC 2007»
14 years 4 months ago
Improving Usability by Adding Security to Video Conferencing Systems
Many video conferencing solutions exist in the market today and many new ones are being introduced. In striving to provide an experience to users as close to “being there” as p...
April Slayden Mitchell, Alan H. Karp