Sciweavers

8746 search results - page 1357 / 1750
» Diversifying search results
Sort
View
VMCAI
2005
Springer
16 years 10 days ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
WEBI
2005
Springer
16 years 10 days ago
Detecting Sequences and Cycles of Web Pages
Cycle detection in graphs and digraphs has received wide attention and several algorithms are available for this purpose. While the web may be modeled as a digraph, such algorithm...
B. Lakshmi Narayan, Sankar K. Pal
APGV
2004
ACM
138views Visualization» more  APGV 2004»
16 years 8 days ago
Perceptual invariance of nonlinear Focus+Context transformations
Focus+Context techniques are commonly used in visualization systems to provide both the details and the context. The "shaker paradigm", in which an image is rapidly alte...
Keith Lau, Ronald A. Rensink, Tamara Munzner
DOLAP
2004
ACM
16 years 8 days ago
Experimental evidence on partitioning in parallel data warehouses
Parallelism can be used for major performance improvement in large Data warehouses (DW) with performance and scalability challenges. A simple low-cost shared-nothing architecture ...
Pedro Furtado
168
Voted
SAC
2004
ACM
16 years 8 days ago
Solving the error correcting code problem with parallel hybrid heuristics
Some telecommunication systems can not afford the cost of repeating a corrupted message. Instead, the message should be somewhat “corrected” by the receiver. In these cases a...
Enrique Alba, J. Francisco Chicano
« Prev « First page 1357 / 1750 Last » Next »