Sciweavers

1095 search results - page 161 / 219
» Preprocessing of Intractable Problems
Sort
View
IEEEARES
2008
IEEE
14 years 5 months ago
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACL management suffer some problems that need to be addressed in order to...
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Marti...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 4 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
SIBGRAPI
2005
IEEE
14 years 4 months ago
Imesh: An Image Based Quality Mesh Generation Technique
Generating triangular meshes from images is a task important to many applications. Usually, techniques that can do that either take as starting point a segmented image or generate...
Alex Jesus Cuadros-Vargas, Luis Gustavo Nonato, Ro...
PERVASIVE
2005
Springer
14 years 4 months ago
Collaborative Sensing in a Retail Store Using Synchronous Distributed Jam Signalling
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...
Albert Krohn, Tobias Zimmer, Michael Beigl, Christ...
SCIA
2005
Springer
14 years 4 months ago
Optimal Estimation of Homogeneous Vectors
Estimation of inhomogeneous vectors is well-studied in estimation theory. For instance, given covariance matrices of input data allow to compute optimal estimates and characterize...
Matthias Mühlich, Rudolf Mester