Sciweavers

18090 search results - page 331 / 3618
» Computing by Only Observing
Sort
View
CORR
2004
Springer
123views Education» more  CORR 2004»
15 years 6 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui
PR
2002
104views more  PR 2002»
15 years 6 months ago
A geometric approach for the analysis and computation of the intrinsic camera parameters
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
Eduardo Bayro-Corrochano, Bodo Rosenhahn
176
Voted
CAP
2010
15 years 1 months ago
Parallel computation of the minimal elements of a poset
Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimiz...
Charles E. Leiserson, Marc Moreno Maza, Liyun Li, ...
ICASSP
2011
IEEE
14 years 10 months ago
Computationally efficient regularized acoustic imaging
Sparse recovery techniques have been shown to produce very accurate acoustic images, significantly outperforming traditional deconvolution approaches. However, so far these propo...
Flavio P. Ribeiro, Vitor H. Nascimento
ICPR
2004
IEEE
16 years 7 months ago
Human Action Segmentation via Controlled Use of Missing Data in HMMs
Segmentation of individual actions from a stream of human motion is an open problem in computer vision. This paper approaches the problem of segmenting higher-level activities int...
Patrick Peursum, Hung Hai Bui, Svetha Venkatesh, G...