1454 search results - page 175 / 291 » Stateful traits and their formalization |
163
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
We propose a practicable way to include both polarization and fluorescence effects in a rendering system at the same time. Previous research in this direction only demonstrated s...
131
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
156
click to vote
ICPP
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we address the issue of implementing matrix-matrix multiplication on heterogeneous platforms. We target two different classes of heterogeneous computing resources: ...
168
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
124
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...