4192 search results - page 220 / 839 » Efficient testing of groups |
124
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
140
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
146
click to vote
PAKDD
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. Contrast set mining aims at finding differences between different groups. This paper shows that a contrast set mining task can be transformed to a subgroup discovery ta...
109
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
We developed a novel multipoint measurement system capable of acquiring video and sound at more than 100 points in a "synchronized" manner. In this paper, we first descr...
115
click to vote
ACTAC
2006
15 years 3 months ago
2006
In speech recognition vast hypothesis spaces are generated, so the search methods used and their speedup techniques are both of great importance. One way of getting a speedup gain...