Sciweavers

10304 search results - page 365 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
MFCS
2001
Springer
15 years 11 months ago
Computable Versions of Baire's Category Theorem
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
Vasco Brattka
ACSC
2004
IEEE
15 years 10 months ago
The Effectiveness of Innovative Approaches to CS1: Comparing Opinion to Outcome
Handheld computers (Pocket PCs) have been required of all entering CS majors at the University of Minnesota
James D. Allert
117
Voted
SIGGRAPH
1995
ACM
15 years 10 months ago
Automated learning of muscle-actuated locomotion through control abstraction
Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1
Radek Grzeszczuk, Demetri Terzopoulos
GI
2009
Springer
15 years 4 months ago
Kontextsensitive Dienste auf Basis von Open-Source-Software
: Dieser Beitrag fasst die Ergebnisse einer Diplomarbeit zusammen, in der ein Konzept f
Thorsten Teschke, Jörn von Ahsen, Maximilian ...
FOCS
2006
IEEE
16 years 25 days ago
Input-Indistinguishable Computation
We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...
Silvio Micali, Rafael Pass, Alon Rosen