1587 search results - page 17 / 318 » What's my method |
IOR
2002
13 years 9 months ago
2002
abstract mathematics. My mentor was Professor S. Bochner, a distinguished contributor to harmonic analysis. My classmates included Richard Bellman (who later nurtured the method of...
DEBU
1999
13 years 9 months ago
1999
This paper is a July 1999 snapshot of a "whitepaper" that I've been working on. The purpose of the whitepaper, which I initially drafted in April 1999, was to formu...
TYPES
1998
Springer
14 years 2 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Many computer vision algorithms require searching a set of images for similar patches, which is a very expensive operation. In this work, we compare and evaluate a number of neares...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
In this Special Interest Group (SIG) the attendees will discuss methods for capturing usability data over time. Specifically, we will share industry best practices, brainstorm alt...