1511 search results - page 187 / 303 » Relational Parametricity for Computational Effects |
256
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we propose a manpower allocation model with time windows which is of practical interest to serviceman scheduling operations. Specifically, this problem originates f...
154
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We investigate the general problem of reproducing color images on an offset press using custom inks in any combination and number. While this problem has been explored previously ...
152
click to vote
SI3D
1997
ACM
15 years 10 months ago
1997
ACM
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...
168
click to vote
ARGMAS
2007
Springer
15 years 10 months ago
2007
Springer
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
151
click to vote
EXPCS
2007
15 years 10 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...