7978 search results - page 38 / 1596 » Representation before computation |
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
An original approach to represent 2D and 3D faces using Radial Geodesic Distances (RGDs) is proposed in this work. In 3D, the RGD of a generic point of the face surface is compute...
ACSD
2003
IEEE
14 years 26 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
We propose a new method to build persistent suffix trees for indexing the genomic data. Our algorithm DiGeST (Disk-Based Genomic Suffix Tree) improves significantly over previous ...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
ECIR
2009
Springer
14 years 4 months ago
2009
Springer
Online product reviews are becoming increasingly available, and are being used more and more frequently by consumers in order to choose among competing products. Tools that rank co...