Sciweavers

2200 search results - page 143 / 440
» The Generalized Pignistic Transformation
Sort
View
ICPR
2006
IEEE
14 years 11 months ago
Segmentation and Probabilistic Registration of Articulated Body Models
There are different approaches to pose estimation and registration of different body parts using voxel data. We propose a general bottom-up approach in order to segment the voxels...
Aravind Sundaresan, Rama Chellappa
UIST
1993
ACM
14 years 2 months ago
Skeletal Strokes
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
S. C. Hsu, I. H. H. Lee, Neil E. Wiseman
IPMU
2010
Springer
14 years 19 days ago
The Link Prediction Problem in Bipartite Networks
We define and study the link prediction problem in bipartite networks, specializing general link prediction algorithms to the bipartite case. In a graph, a link prediction functio...
Jérôme Kunegis, Ernesto William De Lu...
WWW
2003
ACM
14 years 11 months ago
Towards a multimedia formatting vocabulary
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
Jacco van Ossenbruggen, Lynda Hardman, Joost Geurt...
ACL2
2006
ACM
14 years 4 months ago
A verifying core for a cryptographic language compiler
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
Lee Pike, Mark Shields, John Matthews