851 search results - page 70 / 171 » Inaccessibility in Decision Procedures |
160
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Optimal scheduling for concurrent transmissions in rate-nonadaptive wireless networks is NP-hard. Optimal scheduling in rate-adaptive wireless networks is even more difficult, ...
159
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
130
Voted
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We address the problem of detecting batches of emails that have been created according to the same template. This problem is motivated by the desire to filter spam more effectivel...
128
Voted
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
In the paper we propose a new type of regularization procedure for training sparse Bayesian methods for classification. Transforming Hessian matrix of log-likelihood function to d...
132
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We present an algorithm for learning 3D object models from partial object observations. The input to our algorithm is a sequence of 3D laser range scans. Models learned from th...