Sciweavers

5092 search results - page 697 / 1019
» Clustering the Feature Space
Sort
View
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 26 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
CSFW
2006
IEEE
16 years 25 days ago
A Framework for Establishing Decentralized Secure Coalitions
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
Hongbin Zhou, Simon N. Foley
DASFAA
2006
IEEE
111views Database» more  DASFAA 2006»
16 years 25 days ago
Holistic Schema Mappings for XML-on-RDBMS
When hosting XML information on relational backends, a mapping has to be established between the schemas of the information source and the target storage repositories. A rich body ...
Priti Patil, Jayant R. Haritsa
ICTAI
2006
IEEE
16 years 24 days ago
An Approximation to Mean-Shift via Swarm Intelligence
Mean shift based feature space analysis has been shown to be an elegant, accurate and robust technique. The elegance in this non-parametric algorithm is mainly due to its simplici...
Mani Thomas, Chandra Kambhamettu
3DIM
2005
IEEE
16 years 12 days ago
Transform-Based Methods for Indexing and Retrieval of 3D Objects
We compare two transform-based indexing methods for retrieval of 3D objects. We apply 3D Discrete Fourier Transform (DFT) and 3D Radial Cosine Transform (RCT) to the voxelized dat...
Helin Dutagaci, Bülent Sankur, Yücel Yem...