1280 search results - page 203 / 256 » Soft Typing with Conditional Types |
CONCURRENCY
2004
13 years 9 months ago
2004
Job Management Systems (JMSs) efficiently schedule and monitor jobs in parallel and distributed computing environments. Therefore, they are critical for improving the utilization ...
AI
2000
Springer
13 years 9 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
ENTCS
2002
13 years 9 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...
PRESENCE
2000
13 years 8 months ago
2000
A between-group experiment was carried out to assess whether two different presence questionnaires can distinguish between real and virtual experiences. One group of 10 subjects s...
GIS
2002
ACM
13 years 8 months ago
2002
ACM
This papers deals with multiway spatial joins when (i) there is limited time for query processing and the goal is to retrieve the best possible solutions within this limit (ii) the...