7971 search results - page 1256 / 1595 » On unbounded operators and applications |
174
click to vote
TACAS
2004
Springer
16 years 3 days 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...
174
click to vote
UCS
2004
Springer
16 years 3 days ago
2004
Springer
With the integration of cameras, mobile phones have evolved into networked personal image capture devices. Camera-phones can perform image processing tasks on the device itself an...
190
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
Discovering co-expressed genes and coherent expression patterns in gene expression data is an important data analysis task in bioinformatics research and biomedical applications. ...
150
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
As CPUs become more powerful with Moore’s law and memory latencies stay constant, the impact of the memory access performance bottleneck continues to grow on relational operator...
159
click to vote
WCW
2004
Springer
16 years 3 days ago
2004
Springer
The increasing use of the web for serving http content, for database transactions, etc. can place heavy stress on servers. Flash crowds can occur at a server when there is a burst ...