866 search results - page 70 / 174 » A Formal Investigation of |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
QI
2009
Springer
14 years 4 months ago
2009
Springer
According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the a...
GFKL
2007
Springer
14 years 1 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
AI
2007
Springer
14 years 4 months ago
2007
Springer
DEC-POMDPs provide formal models of many cooperative multiagent problems, but their complexity is NEXP-complete in general. We investigate a sub-class of DEC-POMDPs termed multiage...
ICDCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...