2467 search results - page 292 / 494 » Finite State Machines |
152
click to vote
COLT
2007
Springer
16 years 23 days ago
2007
Springer
The standard so-called experts algorithms are methods for utilizing a given set of “experts” to make good choices in a sequential decision-making problem. In the standard setti...
161
click to vote
COLT
1995
Springer
15 years 10 months ago
1995
Springer
We present algorithms for exactly learning unknown environments that can be described by deterministic nite automata. The learner performs a walk on the target automaton, where at...
177
click to vote
ENTCS
2007
15 years 6 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
374
click to vote
BICA
2010
15 years 1 months ago
2010
Deep-layer machine learning architectures continue to emerge as a promising biologically-inspired framework for achieving scalable perception in artificial agents. State inference ...
161
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...