15792 search results - page 179 / 3159 » Computational Abstraction Steps |
160
click to vote
MVA
2000
15 years 7 months ago
2000
Abstract tion 6. When we have some estimation errors in the autoPractical problems are dealt with for augmented reality calibration, we may have a different perspective view from w...
295
click to vote
Book
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
147
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
146
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
141
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...