4415 search results - page 245 / 883 » How to Pair with a Human |
262
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Although the scale of isotropic visual elements such as blobs and interest points, e.g. SIFT[12], has been well studied and adopted in various applications, how to determine the s...
257
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We consider the problem of mapping data in peerto-peer systems. Such systems rely on simple value searches to locate data of interest. However, different peers may use different v...
158
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes how a graphical user interface (GUI) programming course offered by the Dept. of Computer Science (CS) was paired with a general teaching methods course offere...
139
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
169
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...