Sciweavers

1948 search results - page 93 / 390
» Formalizing Mirror Theory
Sort
View
WACV
2005
IEEE
15 years 11 months ago
Temporal Synchronization of Video Sequences in Theory and in Practice
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
Anthony Whitehead, Robert Laganière, Prosen...
ESORICS
2004
Springer
15 years 10 months ago
Towards a Theory of Data Entanglement: (Extended Abstract)
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
James Aspnes, Joan Feigenbaum, Aleksandr Yampolski...
FSTTCS
2003
Springer
15 years 10 months ago
An Equational Theory for Transactions
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
Andrew P. Black, Vincent Cremet, Rachid Guerraoui,...
ECAI
1998
Springer
15 years 9 months ago
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
Eric Raufaste, Rui Da Silva Neves
UAI
2004
15 years 6 months ago
Predictive State Representations: A New Theory for Modeling Dynamical Systems
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...
Satinder P. Singh, Michael R. James, Matthew R. Ru...