Sciweavers

10910 search results - page 1858 / 2182
» Input modeling using a computer algebra system
Sort
View
SPAA
1998
ACM
15 years 10 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
CVPR
2003
IEEE
16 years 8 months ago
Learning epipolar geometry from image sequences
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
Yonatan Wexler, Andrew W. Fitzgibbon, Andrew Zisse...
CVPR
2000
IEEE
16 years 8 months ago
Codimension - Two Geodesic Active Contours for the Segmentation of Tubular Structures
Curve evolution schemes for segmentation, implemented with level set methods, have become an important approach in computer vision. Previous work has modeled evolving contours whi...
Liana M. Lorigo, W. Eric L. Grimson, Olivier D. Fa...
CHI
2009
ACM
16 years 6 months ago
Conversation clusters: grouping conversation topics through human-computer dialog
Conversation Clusters explores the use of visualization to highlight salient moments of live conversation while archiving a meeting. Cheaper storage and easy access to recording d...
Tony Bergstrom, Karrie Karahalios
HICSS
2009
IEEE
144views Biometrics» more  HICSS 2009»
16 years 1 months ago
Privacy Preserving Decision Tree Mining from Perturbed Data
Privacy preserving data mining has been investigated extensively. The previous works mainly fall into two categories, perturbation and randomization based approaches and secure mu...
Li Liu, Murat Kantarcioglu, Bhavani M. Thuraisingh...
« Prev « First page 1858 / 2182 Last » Next »