1768 search results - page 264 / 354 » A Logic for Algebraic Effects |
161
click to vote
DLOG
2004
15 years 7 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
152
Voted
DMDW
2001
15 years 7 months ago
2001
Accurately estimating the cardinality of aggregate views is crucial for logical and physical design of data warehouses. While the warehouse is under development and data are not a...
163
click to vote
IJCAI
2001
15 years 7 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
156
click to vote
WSC
2001
15 years 7 months ago
2001
Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...
130
click to vote
WSC
2001
15 years 7 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...