230 search results - page 31 / 46 » Quantum Search with Variable Times |
109
Voted
VIS
2007
IEEE
2007
IEEE
Modeling Perceptual Dominance Among Visual Cues in Multilayered Icon-based Scientific Visualizations
16 years 1 months ago
ization method is an abstract function that transforms a scientific dataset into a visual representation to facilitate data exploration. In turn, a visualization display is the vis...
95
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
ICMCS
2008
IEEE
15 years 6 months ago
2008
IEEE
The support of variable block-sizes, though significantly improves the compression efficiency, imposes a big computational challenge on an H.264 encoder. In this paper, we present...
83
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
102
click to vote
ICDM
2009
IEEE
14 years 10 months ago
2009
IEEE
Given a large transaction database, association analysis is concerned with efficiently finding strongly related objects. Unlike traditional associate analysis, where relationships ...