4894 search results - page 735 / 979 » Choices |
158
click to vote
ENTCS
2002
15 years 6 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
173
click to vote
ECRA
2002
15 years 6 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
157
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
Web-based learning tools provide integrated environments of various technologies to support diverse educators' and learners' needs via the Internet. This paper reports t...
222
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
174
click to vote
GEOINFORMATICA
2002
15 years 6 months ago
2002
The generation of better label placement configurations in maps is a problem that comes up in automated cartographic production. The objective of a good label placement is to displ...