Sciweavers

537 search results - page 65 / 108
» A Theory of Inferred Causation
Sort
View
SAC
2004
ACM
15 years 5 months ago
Towards multisensor data fusion for DoS detection
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
Christos Siaterlis, Basil S. Maglaris
DEXAW
2002
IEEE
151views Database» more  DEXAW 2002»
15 years 4 months ago
Domain-Independent eNegotiation Design: Prospects, Methods, and Challenges
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
Dirk Neumann, Christof Weinhardt
TPHOL
2002
IEEE
15 years 4 months ago
Type-Theoretic Functional Semantics
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
Yves Bertot, Venanzio Capretta, Kuntal Das Barman
ICDT
2010
ACM
149views Database» more  ICDT 2010»
15 years 4 months ago
Mapping Polymorphism
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
Ryan Wisnesky, Mauricio Hernandez, Lucian Popa
JAIR
2006
110views more  JAIR 2006»
14 years 11 months ago
Domain Adaptation for Statistical Classifiers
The most basic assumption used in statistical learning theory is that training data and test data are drawn from the same underlying distribution. Unfortunately, in many applicati...
Hal Daumé III, Daniel Marcu