Sciweavers

5964 search results - page 202 / 1193
» A theory of speculative computation
Sort
View
ISICA
2007
Springer
16 years 1 months ago
A New Evolutionary Decision Theory for Many-Objective Optimization Problems
In this paper the authors point out that the Pareto Optimality is unfair, unreasonable and imperfect for Many-objective Optimization Problems (MOPs) underlying the hypothesis that ...
Zhuo Kang, Lishan Kang, Xiufen Zou, Minzhong Liu, ...
WACV
2005
IEEE
16 years 22 days 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
16 years 16 days 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...
LICS
2003
IEEE
16 years 12 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
VRST
2003
ACM
16 years 12 days ago
Information-rich virtual environments: theory, tools, and research agenda
Virtual environments (VEs) allow users to experience and interact with a rich sensory environment, but most virtual worlds contain only sensory information similar to that which w...
Doug A. Bowman, Chris North, Jian Chen, Nicholas F...