514 search results - page 63 / 103 » Packet Classification Algorithms: From Theory to Practice |
115
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
126
Voted
DIS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we propose a method for discovering hidden information from large-scale item set data based on the symmetry of items. Symmetry is a fundamental concept in the theory...
102
Voted
AAAI
2006
15 years 5 months ago
2006
Clustering under constraints is a recent innovation in the artificial intelligence community that has yielded significant practical benefit. However, recent work has shown that fo...
158
click to vote
DLT
2003
15 years 5 months ago
2003
A new generalization of context-free grammars is introduced: Boolean grammars allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous...
107
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...