Sciweavers

3172 search results - page 367 / 635
» New developments of the Z-EDM algorithm
Sort
View
SIGSOFT
2006
ACM
16 years 18 days ago
Simulation-based test adequacy criteria for distributed systems
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
ICCV
2005
IEEE
16 years 8 days ago
On the Spatial Statistics of Optical Flow
We develop a method for learning the spatial statistics of optical flow fields from a novel training database. Training flow fields are constructed using range images of natur...
Stefan Roth, Michael J. Black
CSL
2005
Springer
16 years 6 days ago
A Propositional Proof System for Log Space
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
Steven Perron
VLDB
2005
ACM
175views Database» more  VLDB 2005»
16 years 4 days ago
Catching the Best Views of Skyline: A Semantic Approach Based on Decisive Subspaces
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
Jian Pei, Wen Jin, Martin Ester, Yufei Tao
AINA
2010
IEEE
15 years 11 months ago
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
— Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety of reasons. Complexity of networks is constantly incr...
Sergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca