1313 search results - page 69 / 263 » Generic Universe Types |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
14 years 11 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
129
click to vote
IJCV
1998
14 years 11 months ago
1998
A major problem in object recognition is that a novel image of a given object can be different from all previously seen images. Images can vary considerably due to changes in viewi...
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
For quantitative examination of phenomena that simultaneously occur on very different spatial and temporal scales, adaptive hierarchical schemes are required. A special numerical ...
NSDI
2004
15 years 1 months ago
2004
Over the past few years, a relatively new computing phenomenon has gained momentum: the spread of "spyware." Though most people are aware of spyware, the research commun...
114
click to vote
ASIACRYPT
2003
Springer
15 years 3 months ago
2003
Springer
Motivated by privacy issues associated with dissemination of signed digital certificates, we define a new type of signature scheme called a `Universal Designated-Verifier Signatur...