1948 search results - page 262 / 390 » Formalizing Mirror Theory |
160
Voted
RAS
2006
15 years 5 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
159
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
160
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
165
Voted
ARTMED
2000
15 years 5 months ago
2000
Diagnosis of a disease and its treatment are not separate, one-shot activities. Instead, they are very often dependent and interleaved over time. This is mostly due to uncertainty...
131
click to vote
COLING
2002
15 years 5 months ago
2002
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...