Sciweavers

280 search results - page 56 / 56
» From promoter sequence to expression: a probabilistic framew...
Sort
View
EMMCVPR
2011
Springer
12 years 4 months ago
Data-Driven Importance Distributions for Articulated Tracking
Abstract. We present two data-driven importance distributions for particle filterbased articulated tracking; one based on background subtraction, another on depth information. In ...
Søren Hauberg, Kim Steenstrup Pedersen
ICFP
2005
ACM
14 years 4 months ago
Types with semantics: soundness proof assistant
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
Olha Shkaravska
TIME
1994
IEEE
13 years 9 months ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib
BMCBI
2010
171views more  BMCBI 2010»
13 years 5 months ago
PyMix - The Python mixture package - a tool for clustering of heterogeneous biological data
Background: Cluster analysis is an important technique for the exploratory analysis of biological data. Such data is often high-dimensional, inherently noisy and contains outliers...
Benjamin Georgi, Ivan Gesteira Costa, Alexander Sc...
TSP
2008
157views more  TSP 2008»
13 years 4 months ago
A Two-Stage Approach to Estimate the Angles of Arrival and the Angular Spreads of Locally Scattered Sources
We propose a new two-stage approach to estimate the nominal angles of arrival (AoAs) and the angular spreads (ASs) of multiple locally scattered sources using a uniform linear arra...
Mehrez Souden, Sofiène Affes, Jacob Benesty