1596 search results - page 117 / 320 » Quantum property testing |
138
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Little is known about the cognitive abilities which influence the comprehension of scientific and information visualizations and what properties of the visualization affect compre...
130
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
138
Voted
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
155
Voted
ILC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
148
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
During the optimization of a constrained problem using evolutionary algorithms (EAs), an individual in the population can be described using three important properties, i.e., obje...