Sciweavers

1176 search results - page 60 / 236
» Implicit Abstraction Heuristics
Sort
View
ICANN
2007
Springer
14 years 4 months ago
Event Detection and Localization in Mobile Robot Navigation Using Reservoir Computing
Abstract. Reservoir Computing (RC) uses a randomly created recurrent neural network where only a linear readout layer is trained. In this work, RC is used for detecting complex eve...
Eric A. Antonelo, Benjamin Schrauwen, Xavier Dutoi...
GECCO
2004
Springer
124views Optimization» more  GECCO 2004»
14 years 3 months ago
Convergence Examples of a Filter-Based Evolutionary Algorithm
Abstract. We describe and critique the convergence properties of filterbased evolutionary pattern search algorithms (F-EPSAs). F-EPSAs implicitly use a filter to perform a multi-...
Lauren M. Clevenger, William E. Hart
ICSM
2003
IEEE
14 years 3 months ago
Using Intentional Source-Code Views to Aid Software Maintenance
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
Kim Mens, Bernard Poll, Sebastián Gonz&aacu...
FORMATS
2003
Springer
14 years 3 months ago
Formal Semantics of Hybrid Chi
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
14 years 2 months ago
DEEP: Dual-Space Expansion for Estimating Penetration Depth Between Convex Polytopes
Abstract— We present an incremental algorithm to estimate the penetration depth between convex polytopes in 3D. The algorithm incrementally seeks a “locally optimal solution”...
Young J. Kim, Ming C. Lin, Dinesh Manocha