Sciweavers

25195 search results - page 291 / 5039
» Applications of Computers to Dance
Sort
View
JC
2006
139views more  JC 2006»
15 years 6 months ago
The basic feasible functionals in computable analysis
We give a correspondence between two notions of complexity for real numbers and functions: poly-time computability according to Ko and a notion that arises naturally when one cons...
Branimir Lambov
CVPR
2003
IEEE
16 years 8 months ago
PAMPAS: Real-Valued Graphical Models for Computer Vision
Probabilistic models have been adopted for many computer vision applications, however inference in highdimensional spaces remains problematic. As the statespace of a model grows, ...
Michael Isard

Book
397views
17 years 4 months ago
Computational Semantics with Functional Programming
"This book on applications of logic in the semantic analysis of language pays the reader the compliment of not assuming anything about what he or she knows (in particular, no...
Jan van Eijck, Christina Unger
EUROPAR
2003
Springer
15 years 12 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
SIGCSE
1998
ACM
104views Education» more  SIGCSE 1998»
15 years 11 months ago
Scaling: a design pattern in introductory computer science courses
We present a series of programming exercises that use scaling as a theme for teaching design techniques in the introductory computer science course sequence. All exercises are on ...
Harriet J. Fell, Viera K. Proulx, Richard Rasala