571 search results - page 50 / 115 » Context Proceduralization in Decision Making |
LATA
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
109
click to vote
ROBOCUP
2000
Springer
15 years 3 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
119
click to vote
IDMS
1999
Springer
15 years 4 months ago
1999
Springer
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
CBMS
2006
IEEE
15 years 6 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...