7623 search results - page 1160 / 1525 » Algorithmic Features of Eclat |
175
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
163
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
173
click to vote
TACAS
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
213
click to vote
CGI
2003
IEEE
15 years 12 months ago
2003
IEEE
Human faces are commonly found in video streams and provide useful information for video content analysis. This paper presents a robust face tracking system to extract multiple fa...
180
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...