Sciweavers

29908 search results - page 390 / 5982
» On the Complexity of
Sort
View
164
Voted
NOMS
2008
IEEE
123views Communications» more  NOMS 2008»
16 years 1 months ago
Model-based management of security services in complex network environments
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
João Porto de Albuquerque, Heiko Krumm, Pau...
FOCS
2007
IEEE
16 years 1 months ago
Parameterized Proof Complexity
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
186
Voted
KBSE
2007
IEEE
16 years 1 months ago
Assertion-based repair of complex data structures
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sar...
VR
2007
IEEE
131views Virtual Reality» more  VR 2007»
16 years 1 months ago
The Effects of Scene Complexity, Stereovision, and Motion Parallax on Size Constancy in a Virtual Environment
In this paper, the effects of three visual factors: scene complexity, stereovision and motion parallax on correct perception of a virtual object’s size were analyzed in an immer...
Xun Luo, Robert V. Kenyon, Derek Kamper, Daniel J....
208
Voted
ATAL
2007
Springer
16 years 1 months ago
Batch reinforcement learning in a complex domain
Temporal difference reinforcement learning algorithms are perfectly suited to autonomous agents because they learn directly from an agent’s experience based on sequential actio...
Shivaram Kalyanakrishnan, Peter Stone