6045 search results - page 164 / 1209 » Computable Linearizations of Well-partial-orderings |
SCALESPACE
2007
Springer
14 years 2 months ago
2007
Springer
The reconstruction problem is usually formulated as a variational problem in which one searches for that image that minimizes a so called prior (image model) while insisting on cer...
HAPTICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We examine the motion control bandwidth and stable impedance range of the Cobotic Hand Controller, a novel, six-degree-offreedom, admittance controlled haptic display. A highly ge...
GIS
1998
ACM
13 years 7 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
FUIN
2010
13 years 6 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
The goal of this paper is to introduce a new approach to the building of efficient distributed linear system solvers. The starting point of the results of this paper lies in the ...