278 search results - page 35 / 56 » A Framework for Counterexample Generation and Exploration |
DATE
2010
IEEE
14 years 1 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...
COLT
1998
Springer
14 years 21 days 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...
AIPS
2003
13 years 9 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...
COLING
1994
13 years 9 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...
ICASSP
2010
IEEE
13 years 8 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...