2702 search results - page 257 / 541 » Practically Applicable Formal Methods |
128
click to vote
CPM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
157
click to vote
ISPD
1997
ACM
15 years 6 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
125
click to vote
SODA
2000
ACM
15 years 3 months ago
2000
ACM
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...
108
click to vote
UAI
2000
15 years 3 months ago
2000
Incorporating feature selection into a classi cation or regression method often carries a number of advantages. In this paper we formalize feature selection speci cally from a dis...
214
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...