Sciweavers

1407 search results - page 130 / 282
» Learning Abstract Scheduling Models
Sort
View
138
Voted
ICIAR
2004
Springer
15 years 8 months ago
Visual Object Recognition Through One-Class Learning
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
QingHua Wang, Luís Seabra Lopes, David M. J...
126
Voted
WAPCV
2004
Springer
15 years 8 months ago
Learning of Position-Invariant Object Representation Across Attention Shifts
Abstract. Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by ...
Muhua Li, James J. Clark
AGENTS
1997
Springer
15 years 6 months ago
Learning View Graphs for Robot Navigation
Abstract. We present a purely vision-based scheme for learning a topological representation of an open environment. The system represents selected places by local views of the surr...
Matthias O. Franz, Bernhard Schölkopf, Philip...
ILP
1997
Springer
15 years 6 months ago
A Logical Framework for Graph Theoretical Decision Tree Learning
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...
Peter Geibel, Fritz Wysotzki
151
Voted
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 6 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur