1888 search results - page 202 / 378 » Proof theory and computational analysis |
71
Voted
ARITH
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents the detailed design of the ARM VFP11 Divide and Square Root synthesisable macrocell. The macrocell was designed using the minimum-redundancy radix-4 SRT digit ...
75
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
“diorama table “ is an interactive table installation. People place physical objects on the table and projected elements such as trains, cars, houses, and trees appear and are...
85
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
106
Voted
COMPGEOM
2003
ACM
15 years 6 months ago
2003
ACM
Given a polygonal curve and a geometric graph, we describe an efficient algorithm to find a path in the graph which is most similar to the curve, using the well-known Fr´echet d...
114
Voted
SCALESPACE
1997
Springer
15 years 5 months ago
1997
Springer
We developed a method that transforms a polygonal representation of an object into a voxel representation on a 3D regular grid. By applying scale-space theory we derived expression...