Sciweavers

5158 search results - page 226 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
ICDT
2010
ACM
163views Database» more  ICDT 2010»
15 years 10 months ago
A Theoretical Study of 'Snapshot Isolation'
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...
Ragnar Normann, Lene T. Østby
ATAL
2008
Springer
15 years 8 months ago
Zero-intelligence agents in prediction markets
We construct a novel agent-based model of prediction markets in which putative human qualities like learning, reasoning, and profit-seeking are absent. We show that the prices whi...
Abraham Othman
ATAL
2008
Springer
15 years 8 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
HYBRID
2010
Springer
15 years 8 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...
ECAI
2008
Springer
15 years 8 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski