278 search results - page 35 / 56 » A Framework for Counterexample Generation and Exploration |
128
click to vote
DATE
2010
IEEE
15 years 10 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...
154
click to vote
COLT
1998
Springer
15 years 9 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...
111
click to vote
AIPS
2003
15 years 7 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...
132
click to vote
COLING
1994
15 years 6 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...
150
click to vote
ICASSP
2010
IEEE
15 years 5 months 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...