2934 search results - page 482 / 587 » Hypothesis Spaces for Learning |
149
click to vote
APGV
2006
ACM
16 years 6 days ago
2006
ACM
Navigating through large virtual environments using a headmounted display (HMD) is difficult due to the spatial limitations of the tracking system. We conducted two experiments t...
182
click to vote
ICML
2006
IEEE
16 years 5 days ago
2006
IEEE
There are well-established methods for reducing the number of support vectors in a trained binary support vector machine, often with minimal impact on accuracy. We show how reduce...
158
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
153
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
Structured link vector model (SLVM) is a recently proposed document representation that takes into account both structural and semantic information for measuring XML document simi...
188
click to vote
DSMML
2004
Springer
15 years 11 months ago
2004
Springer
Applications such as audio fingerprinting require search in high dimensions: find an item in a database that is similar to a query. An important property of this search task is t...