11808 search results - page 466 / 2362 » Isometries and Computability Structures |
354
click to vote
Lecture Notes
"This course will consist of a number of major sections. The first will be a short review of some preliminary material, including asymptotics, summations, and recurrences and ...
168
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Tabletop computers based on diffuse illumination can track fiducial markers placed on the table’s surface. In this paper, we demonstrate how to do the same with objects arranged...
185
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Digital images can be captured or generated by a variety of sources including digital cameras, scanners and computer graphics softwares. In many cases it is important to be able t...
207
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
166
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
The scheduler is a key component in determining the overall performance of a parallel computer, and as we show here, the schedulers in wide use today exhibit large unexplained gap...