Sciweavers

8699 search results - page 209 / 1740
» Elements of the Theory of Computation
Sort
View
ICALP
2005
Springer
16 years 3 days ago
Computational Bounds on Hierarchical Data Processing with Applications to Information Security
Motivated by the study of algorithmic problems in the domain of information security, in this paper, we study the complexity of a new class of computations over a collection of va...
Roberto Tamassia, Nikos Triandopoulos
PERCOM
2004
ACM
16 years 6 months ago
Towards a Theory of Context Spaces
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky
ICALP
2003
Springer
15 years 11 months ago
Discounting the Future in Systems Theory
Discounting the future means that the value, today, of a unit payoff is 1 if the payoff occurs today, a if it occurs tomorrow, a2 if it occurs the day after tomorrow,
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumda...
ICCV
1995
IEEE
15 years 10 months ago
Bayesian Decision Theory, the Maximum Local Mass Estimate, and Color Constancy
Computational vision algorithms are often developed in a Bayesian framework. Two estimators are commonly used: maximum a posteriori (MAP), and minimum mean squared error (MMSE). W...
William T. Freeman, David H. Brainard
APN
2008
Springer
15 years 8 months ago
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
Morgan Magnin, Didier Lime, Olivier H. Roux