278 search results - page 35 / 56 » A Framework for Counterexample Generation and Exploration |
81
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper, we present a method to analyze different implementations of stream-based applications on heterogeneous multiprocessor systems. We take both resource usage and per...
104
click to vote
COLT
1998
Springer
15 years 4 months ago
1998
Springer
Most of the work which attempts to give bounds on the generalization error of the hypothesis generated by a learning algorithm is based on methods from the theory of uniform conve...
78
Voted
AIPS
2003
15 years 1 months ago
2003
In business marketing, corporations and institutions are interested in executing a sequence of marketing actions to affect a group of customers. For example, a financial instituti...
89
Voted
COLING
1994
15 years 1 months ago
1994
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
91
Voted
ICASSP
2010
IEEE
15 years 18 days ago
2010
IEEE
In this paper, we explore the use of a Gaussian posteriorgram based representation for unsupervised discovery of speech patterns. Compared with our previous work, the new approach...