6045 search results - page 36 / 1209 » Computable Linearizations of Well-partial-orderings |
FCSC
2010
13 years 6 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
This paper gives a practical and accurate algorithm for the computation of the quadrifocal tensor and extraction of camera matrices from it. Previous methods for using the quadrifo...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
We describe a new circular touch gesture for scrolling called ChiralMotionTM and report on work to measure its performance. In a study using a document scrolling task, ChiralMotio...
IJAR
2010
13 years 6 months ago
2010
The present article considers estimating a parameter θ in an imprecise probability model (Pθ)θ∈Θ which consists of coherent upper previsions Pθ . After the definition of a...
IAJIT
2011
13 years 2 months ago
2011
: The present paper discusses the implementations of sparse matrix-vector products, which are crucial for high performance solutions of large-scale linear equations, on a PC-Cluste...