Sciweavers

1523 search results - page 164 / 305
» Partially ordered secretaries
Sort
View
WIRN
2005
Springer
15 years 11 months ago
Recursive Neural Networks and Graphs: Dealing with Cycles
Recursive neural networks are a powerful tool for processing structured data. According to the recursive learning paradigm, the input information consists of directed positional ac...
Monica Bianchini, Marco Gori, Lorenzo Sarti, Franc...
ATVA
2004
Springer
87views Hardware» more  ATVA 2004»
15 years 11 months ago
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
Hans Bherer, Jules Desharnais, Marc Frappier, Rich...
BIRTHDAY
2004
Springer
15 years 11 months ago
Duality for Three: Ternary Symmetry in Process Spaces
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
Janusz A. Brzozowski, Radu Negulescu
CP
2004
Springer
15 years 11 months ago
Counting-Based Look-Ahead Schemes for Constraint Satisfaction
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
Kalev Kask, Rina Dechter, Vibhav Gogate
ISER
2004
Springer
158views Robotics» more  ISER 2004»
15 years 10 months ago
Topological Global Localization and Mapping with Fingerprints and Uncertainty
Navigation in unknown or partially unknown environments remains one of the biggest challenges in today's mobile robotics. Environmental modeling, perception, localization and ...
Adriana Tapus, Nicola Tomatis, Roland Siegwart