7991 search results - page 524 / 1599 » Using More Reasoning to Improve |
205
click to vote
MMMACNS
2005
Springer
16 years 19 days ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
201
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
180
click to vote
NIPS
2008
15 years 8 months ago
2008
Recently, fitted Q-iteration (FQI) based methods have become more popular due to their increased sample efficiency, a more stable learning process and the higher quality of the re...
240
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
HMM-based acoustic models built from bootstrap are generally very large, especially when full covariance matrices are used for Gaussians. Therefore, clustering is needed to compac...
183
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...