6045 search results - page 175 / 1209 » Computable Linearizations of Well-partial-orderings |
115
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
109
Voted
ICIP
1995
IEEE
16 years 5 months ago
1995
IEEE
While Bayesian methods can significantly improve the quality of tomographic reconstructions, they require the solution of large iterative optimization problems. Recent results ind...
102
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we propose a new approach for computing force-closure grasps of two-dimensional and threedimensional objects. Assuming n hard-finger contact with Coulomb fricti...
125
Voted
ISPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new data partitioning strategy for parallel computing on three interconnected clusters. This partitioning has two advantages over existing partitionings. First it can...
126
Voted
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
: In VLSI circuits with deep sub-micron, the parasitic capacitance from interconnect is a very important factor determining circuit performances such as power and time-delay. The B...