19979 search results - page 188 / 3996 » Decision support systems |
220
click to vote
SIGMOD
2008
ACM
15 years 7 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
188
click to vote
RTAS
1995
IEEE
15 years 10 months ago
1995
IEEE
The rate monotonic scheduling algorithm is a commonly used task scheduling algorithm for periodic realtime task systems. This paper discusses feasibility decision for a given real...
159
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
188
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
203
click to vote
ICPADS
2010
IEEE
15 years 5 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...