274 search results - page 30 / 55 » Multi-goal economic search using dynamic search structures |
137
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...
140
Voted
KDD
2009
ACM
15 years 6 months ago
2009
ACM
This paper aims at discovering community structure in rich media social networks, through analysis of time-varying, multi-relational data. Community structure represents the laten...
112
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
109
click to vote
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
We propose a two component method for denoising multidimensional signals, e.g. images. The first component uses a dynamic programing algorithm of complexity O(N log N) to find an ...
204
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
In this article, we propose a new approach for querying and indexing a database of trees with specific applications to XML datasets. Our approach relies on representing both the q...