Sciweavers

2853 search results - page 481 / 571
» On Coherence in Computer Algebra
Sort
View
PAMI
2008
185views more  PAMI 2008»
14 years 9 months ago
Three-View Multibody Structure from Motion
We propose a geometric approach to 3D motion segmentation from point correspondences in three perspective views. We demonstrate that after applying a polynomial embedding to the po...
René Vidal, Richard Hartley
SIAMSC
2008
113views more  SIAMSC 2008»
14 years 9 months ago
Limited Data X-Ray Tomography Using Nonlinear Evolution Equations
A novel approach to the X-ray tomography problem with sparse projection data is proposed. Non-negativity of the X-ray attenuation coefficient is enforced by modelling it as max{(x)...
Ville Kolehmainen, Matti Lassas, Samuli Siltanen
APAL
2002
73views more  APAL 2002»
14 years 9 months ago
The sequentially realizable functionals
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
John Longley
JCB
1998
105views more  JCB 1998»
14 years 9 months ago
Constructing and Counting Phylogenetic Invariants
Abstract. The method of invariants is an approach to the problem of reconstructing the phylogenetic tree of a collection of m taxa using nucleotide sequence data. Models for the re...
Steven N. Evans, Xiaowen Zhou
SQJ
2002
106views more  SQJ 2002»
14 years 9 months ago
Energy Metric for Software Systems
Acknowledging the intense requirement for low power operation in most portable computing systems, this paper introduces the notion of energy efficient software design and proposes ...
Alexander Chatzigeorgiou, George Stephanides