2006 search results - page 152 / 402 » Heuristic Security-Testing Methods |
140
Voted
HEURISTICS
2010
14 years 10 months ago
2010
The urban transit routing problem (UTRP) is NP-Hard and involves devising routes for public transport systems. It is a highly complex multiply constrained problem and the evaluati...
100
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
138
Voted
KDD
2002
ACM
16 years 1 months ago
2002
ACM
This paper studies the problem of categorical data clustering, especially for transactional data characterized by high dimensionality and large volume. Starting from a heuristic m...
116
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
104
click to vote
TSD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The impact of clause and intraclausal coordination detection to dependency parsing of Slovene is examined. New methods based on machine learning and heuristic rules are p...