7167 search results - page 598 / 1434 » Answer Set Programming |
192
click to vote
RP
2009
Springer
16 years 24 days ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
161
click to vote
HICSS
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
157
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
In the recent years support vector machines (SVMs) have been successfully applied to solve a large number of classification problems. Training an SVM, usually posed as a quadrati...
181
Voted
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents an algorithm for generation of test patterns for strong robust path delay faults, i.e. tests that propagate the fault along a single path and additionally are ...
185
click to vote
APPROX
2008
Springer
15 years 8 months ago
2008
Springer
For every fixed 0, we give an algorithm that, given an n-vertex 3-uniform hypergraph containing an independent set of size n, finds an independent set of size n(2 ) . This improv...