Sciweavers

13336 search results - page 2552 / 2668
» Computer Vision: Algorithms and Applications
Sort
View
175
Voted
CPM
2004
Springer
144views Combinatorics» more  CPM 2004»
15 years 9 months ago
A Simple Optimal Representation for Balanced Parentheses
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...
Richard F. Geary, Naila Rahman, Rajeev Raman, Venk...
142
Voted
VISUALIZATION
2003
IEEE
15 years 9 months ago
Exploring Curved Anatomic Structures with Surface Sections
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept o...
Laurent Saroul, Sebastian Gerlach, Roger D. Hersch
127
Voted
WPES
2003
ACM
15 years 9 months ago
Anonymous credentials with biometrically-enforced non-transferability
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
Russell Impagliazzo, Sara Miner More
119
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
On the Pagination of Complex Documents
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
Anne Brüggemann-Klein, Rolf Klein, Stefan Woh...
133
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
« Prev « First page 2552 / 2668 Last » Next »