4245 search results - page 534 / 849 » Input Modeling |
176
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
162
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
We exhibit three approximation algorithms for the allocation problem in combinatorial auctions with complement free bidders. The running time of these algorithms is polynomial in ...
143
click to vote
ALT
2008
Springer
16 years 3 months ago
2008
Springer
The question investigated in this paper is to what extent an input representation influences the success of learning, in particular from the point of view of analyzing agents that...
176
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— One of the most prominent data quality problems is the existence of duplicate records. Current data cleaning systems usually produce one clean instance (repair) of the input da...
157
Voted
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Despite their effectiveness for robust speech processing, missing data techniques are vulnerable to errors in the classification of the input speech signal’s time-frequency poi...