1888 search results - page 202 / 378 » Proof theory and computational analysis |
141
click to vote
ARITH
2007
IEEE
16 years 1 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 ...
175
click to vote
MM
2005
ACM
16 years 22 days 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...
160
click to vote
GI
2004
Springer
16 years 16 days 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...
203
click to vote
COMPGEOM
2003
ACM
16 years 12 days 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...
230
click to vote
SCALESPACE
1997
Springer
15 years 11 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...