10271 search results - page 558 / 2055 » Computer Science |
163
click to vote
SOFSEM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Simulation of global illumination in 3D scenes is a computationally expensive task. One of the goals of the project HiQoS (High Performance Multimedia Services with Quali...
198
click to vote
RTA
1997
Springer
15 years 11 months ago
1997
Springer
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
184
click to vote
ITICSE
2005
ACM
16 years 12 days ago
2005
ACM
Many projects currently used in Software Engineering curricula lack both the “fun factor” needed to engage students, as well as the practical realism of engineering projects t...
151
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
We study the empirical meaning of randomness with respect to a family of probability distributions P, where is a real parameter, using algorithmic randomness theory. In the case w...
168
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...