Sciweavers

1989 search results - page 121 / 398
» Expressive surfaces: a designerly approach for computational...
Sort
View
SPC
2005
Springer
14 years 2 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
BMCBI
2010
156views more  BMCBI 2010»
13 years 9 months ago
Evaluation of statistical methods for normalization and differential expression in mRNA-Seq experiments
Background: High-throughput sequencing technologies, such as the Illumina Genome Analyzer, are powerful new tools for investigating a wide range of biological and medical question...
James H. Bullard, Elizabeth Purdom, Kasper D. Hans...
ICPR
2008
IEEE
14 years 3 months ago
Calibration of a structured light system by observing planar object from unknown viewpoints
— A calibration method for a structured light system by observing a planar object from unknown viewpoints is proposed. A structured light system captures a 3D shape by a camera t...
Koichiro Yamauchi, Hideo Saito, Yukio Sato
ICCV
2003
IEEE
14 years 11 months ago
Tracking Objects Using Density Matching and Shape Priors
We present a novel method for tracking objects by combining density matching with shape priors. Density matching is a tracking method which operates by maximizing the Bhattacharyy...
Tao Zhang, Daniel Freedman
COMGEO
2004
ACM
13 years 9 months ago
Speeding up the incremental construction of the union of geometric objects in practice
We present a new incremental algorithm for constructing the union of n triangles in the plane. In our experiments, the new algorithm, which we call the Disjoint-Cover (DC) algorit...
Eti Ezra, Dan Halperin, Micha Sharir