Sciweavers

16430 search results - page 548 / 3286
» On Computable Tree Functions
Sort
View
211
Voted
ICPR
2008
IEEE
16 years 1 months ago
Kernel functions for robust 3D surface registration with spectral embeddings
Registration of 3D surfaces is a critical step for shape analysis. Recent studies show that spectral representations based on intrinsic pairwise geodesic distances between points ...
Xiuwen Liu, Arturo Donate, Matthew Jemison, Washin...
ICON
2007
IEEE
16 years 1 months ago
Definition and Implementation of Logical Function Blocks Compliant to ForCES Specification
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
Ligang Dong, Fenggen Jia, Weiming Wang
AMR
2007
Springer
140views Multimedia» more  AMR 2007»
16 years 1 months ago
Learning Distance Functions for Automatic Annotation of Images
This paper gives an overview of recent approaches towards image representation and image similarity computation for content-based image retrieval and automatic image annotation (ca...
Josip Krapac, Frédéric Jurie
DAC
2006
ACM
16 years 1 months ago
A systematic method for functional unit power estimation in microprocessors
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
Wei Wu, Lingling Jin, Jun Yang 0002, Pu Liu, Sheld...
163
Voted
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 11 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...