Sciweavers

2654 search results - page 251 / 531
» On Pairing Inversion Problems
Sort
View
IANDC
2008
122views more  IANDC 2008»
15 years 6 months ago
Automata can show PSpace results for description logics
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
Franz Baader, Jan Hladik, Rafael Peñaloza
COMPUTING
2006
130views more  COMPUTING 2006»
15 years 6 months ago
Factorized Solution of Lyapunov Equations Based on Hierarchical Matrix Arithmetic
We investigate the numerical solution of large-scale Lyapunov equations with the sign function method. Replacing the usual matrix inversion, addition, and multiplication by format...
Ulrike Baur, Peter Benner
CORR
2007
Springer
80views Education» more  CORR 2007»
15 years 6 months ago
Uniqueness Domains in the Workspace of Parallel Manipulators
This work investigates new kinematic features of parallel manipulators. It is well known that parallel manipulators admit generally several direct kinematic solutions for a given ...
Philippe Wenger, Damien Chablat
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 6 months ago
Sources of Superlinearity in Davenport-Schinzel Sequences
A generalized Davenport-Schinzel sequence is one over a finite alphabet that contains no subsequences isomorphic to a fixed forbidden subsequence. One of the fundamental problem...
Seth Pettie
PAMI
2008
172views more  PAMI 2008»
15 years 6 months ago
A Theory Of Frequency Domain Invariants: Spherical Harmonic Identities for BRDF/Lighting Transfer and Image Consistency
This paper develops a theory of frequency domain invariants in computer vision. We derive novel identities using spherical harmonics, which are the angular frequency domain analog ...
Dhruv Mahajan, Ravi Ramamoorthi, Brian Curless