Sciweavers

2377 search results - page 187 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
1998
Springer
15 years 10 months ago
Equations on Timed Languages
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
Eugene Asarin
HYBRID
2007
Springer
15 years 10 months ago
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...
Alexandre M. Bayen, Christian G. Claudel, Patrick ...
HYBRID
2007
Springer
15 years 10 months ago
Solving Coverage Problems with Embedded Graph Grammars
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
John-Michael McNew, Eric Klavins, Magnus Egerstedt
LREC
2010
220views Education» more  LREC 2010»
15 years 8 months ago
An Unsupervised Approach for Semantic Relation Interpretation
In this work we propose a hybrid unsupervised approach for semantic relation extraction from Italian and English texts. The system takes as input pairs of "distributionally s...
Emiliano Giovannetti
MIRRORBOT
2005
Springer
119views Robotics» more  MIRRORBOT 2005»
16 years 18 hour ago
A Hybrid Architecture Using Cross-Correlation and Recurrent Neural Networks for Acoustic Tracking in Robots
 Audition is one of our most important modalities and is widely used  to communicate and sense the environment around us.  We present an auditory  robotic...
John C. Murray, Harry R. Erwin, Stefan Wermter