3717 search results - page 30 / 744 » Representing Multiple Theories |
MLQ
2000
13 years 7 months ago
2000
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In our previous work [1, 2] we studied detection of anomalies in packet arrival times for computer networks, most detection of denialof-service (DoS) attacks in Internet traffic....
ITS
2004
Springer
14 years 1 months ago
2004
Springer
This paper introduces the rationale for concrete situations in the authoring process that can exploit a theory-aware Authoring Environment. It illustrates how Ontological Engineeri...
AAAI
2000
13 years 9 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
ICONIP
2009
13 years 5 months ago
2009
In pattern recognition systems, data fusion is an important issue and evidence theory is one such method that has been successful. Many researchers have proposed different rules fo...