7988 search results - page 333 / 1598 » A Useful Undecidable Theory |
165
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
137
click to vote
JUCS
2008
15 years 5 months ago
2008
: Recently Web Based Training (WBT) starts to be widely used as a new way of teaching. Unfortunately, this mode of teaching imposes new requirements and constraints. It has made th...
127
click to vote
KES
2008
Springer
15 years 5 months ago
2008
Springer
In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to ...
159
click to vote
JMIV
2000
15 years 5 months ago
2000
A general paradigm for recognizing 3D objects is offered, and applied to some geometric primitives (spheres, cylinders, cones, and tori). The assumption is that a curve on the surf...
134
click to vote
RIA
2008
15 years 5 months ago
2008
Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on t...