18090 search results - page 420 / 3618 » Computing by Only Observing |
212
click to vote
HYBRID
2005
Springer
16 years 9 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
187
click to vote
ATS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
175
click to vote
COMPIMAGE
2010
Springer
15 years 12 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
175
click to vote
SWAT
2010
Springer
15 years 12 months ago
2010
Springer
We attend to the classic setting where an observer needs to inform a tracker about an arbitrary time varying function f : N0 → Z. This is an optimization problem, where both wron...
165
click to vote
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes a modelling of Support Vector Machine (SVM) learning to address the problem of learning with sloppy labels. In binary classification, learning with sloppy labe...