57 search results - page 2 / 12 » What Does the Future Hold for Theoretical Computer Science |
MFCS
2009
Springer
13 years 11 months ago
2009
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain. Over data words we consider the logic LTL↓ 1(F), th...
SOFSEM
2010
Springer
14 years 2 months ago
2010
Springer
Web Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. extended abstract we examine Web Science research iss...
ITICSE
2000
ACM
13 years 9 months ago
2000
ACM
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...
GI
2004
Springer
13 years 10 months ago
2004
Springer
: Recently, realtime ray tracing has been developed to the point where it is becoming a possible alternative to the current rasterization approach for interactive 3D graphics. With...
CCA
2009
Springer
13 years 9 months ago
2009
Springer
We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent u...