6562 search results - page 182 / 1313 » Noetherianity and Combination Problems |
155
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speaker identification is a well-established research problem but has not been a major application used in gaming scenarios. In this paper, we propose a new algorithm for the ope...
370
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We consider the problem of finding a few representatives for a dataset, i.e., a subset of data points that efficiently describes the entire dataset. We assume that each data poi...
198
click to vote
CONCUR
2012
Springer
13 years 8 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
173
click to vote
TPHOL
2007
IEEE
16 years 22 days ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
168
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Evolvable Hardware (EHW) has been proposed as a new method for evolving circuits automatically. One of the problems appearing is that only circuits of limited size are evolvable. I...