571 search results - page 14 / 115 » Context Proceduralization in Decision Making |
117
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Although declarative configurability still predominates in the context of communication bindings, the hidden policies involved make it an unlikely candidate to cope with the ever...
135
click to vote
ENTCS
2006
15 years 4 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
142
click to vote
APCCM
2008
15 years 5 months ago
2008
In business processes, knowledge-intensive tasks are ones in which the people performing such tasks are involved in a fair degree of uncertainty. These people are required to appl...
114
click to vote
DSS
2008
15 years 4 months ago
2008
Human decision making is error-prone and often subject to biases. Important information cues are misweighted and feedback delays hamper learning. Experimentally, task information ...
154
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...