1419 search results - page 98 / 284 » A Characterization of Constructive Dimension |
140
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
This article examines projectively-invariant local geometric properties of smooth curves and surfaces. Oriented projective differential geometry is proposed as a general framework ...
129
click to vote
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
Since the upturn of intravascular ultrasound (IVUS) as an imaging technique for the coronary artery system, much research has been done to simplify the complicated analysis of the ...
251
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
150
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we consider two-player zero-sum payoff games on finite graphs, both in the deterministic as well as in the stochastic setting. In the deterministic setting, we consi...
135
click to vote
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...