Sciweavers

1407 search results - page 114 / 282
» Learning Abstract Scheduling Models
Sort
View
91
Voted
CAV
2010
Springer
243views Hardware» more  CAV 2010»
15 years 6 months ago
libalf: The Automata Learning Framework
d Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3 , Daniel Neider2 , and David R. Piegdon2 1 LSV, ENS Cachan, CNRS, 2 RWTH Aachen University, 3 ...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
134
Voted
BC
2006
149views more  BC 2006»
15 years 2 months ago
Learning invariant object recognition in the visual system with continuous transformations
Abstract The cerebral cortex utilizes spatiotemporal continuity in the world to help build invariant representations. In vision, these might be representations of objects. The temp...
Simon M. Stringer, G. Perry, Edmund T. Rolls, J. H...
96
Voted
COLT
2007
Springer
15 years 8 months ago
Learning Large-Alphabet and Analog Circuits with Value Injection Queries
Abstract. We consider the problem of learning an acyclic discrete circuit with n wires, fan-in bounded by k and alphabet size s using value injection queries. For the class of tran...
Dana Angluin, James Aspnes, Jiang Chen, Lev Reyzin
114
Voted
OTM
2004
Springer
15 years 8 months ago
Domain Ontology as a Resource Providing Adaptivity in eLearning
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ï¬...
Galia Angelova, Ognian Kalaydjiev, Albena Strupcha...
144
Voted
EMSOFT
2010
Springer
15 years 16 days ago
From high-level component-based models to distributed implementations
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, ...