4695 search results - page 553 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
250
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
210
click to vote
TVCG
2012
13 years 10 months ago
2012
—In this paper, we present a novel isosurface visualization technique that guarantees the accurate visualization of isosurfaces with complex attribute data defined on (un)structu...
242
click to vote
SIGIR
2003
ACM
16 years 26 days ago
2003
ACM
The ability to find tables and extract information from them is a necessary component of data mining, question answering, and other information retrieval tasks. Documents often c...
219
click to vote
ICMLA
2008
15 years 9 months ago
2008
Laser wakefield particle accelerators have shown the potential to generate electric fields thousands of times higher than those of conventional accelerators. The resulting extreme...
215
click to vote
FPGA
2004
ACM
15 years 11 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...