10271 search results - page 326 / 2055 » Computer Science |
111
click to vote
MFCS
2001
Springer
15 years 8 months ago
2001
Springer
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 ...
137
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
119
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: We are presenting a tool for collecting and analysing computer usage data. The observed data are locally used by the user to self-monitor and self-reflect her behaviour, decontro...
152
click to vote
CG
2000
Springer
15 years 3 months ago
2000
Springer
The ACM SIGGRAPH Education Committee web site is being evolved into a Digital Library that will be a worldwide resource for Graphics and Visualization Education. We discuss the hi...
328
click to vote
Tutorial
"This is a tutorial on vector algebra and matrix algebra from the viewpoint of computer graphics. It covers most vector and matrix topics needed to read college-level computer...