2934 search results - page 516 / 587 » Hypothesis Spaces for Learning |
126
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
121
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
Many industries have been developing e-business standards to improve business-to-business interoperability on a mass scale. Most such standards are composed of business data model...
127
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Many source separation algorithms fail to deliver robust performance when applied to signals recorded using highdensity microphone arrays where distance between sensor elements is...
157
click to vote
ICDCSW
2008
IEEE
15 years 11 months ago
2008
IEEE
Emergence of successful teleoperation applications requires the convergence of diverse domains like robotics, machine learning, sensing, actuation, control and communication. We e...
107
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...