20126 search results - page 90 / 4026 » Timed Transition Systems |
105
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— We have developed a new communication robot, Robopal, which is an indoor/outdoor robot for use in humanrobot interaction research in the context of daily life. Robopal’s inte...
120
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
110
click to vote
LREC
2008
15 years 4 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
111
click to vote
ISVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
— The effects of parameter variations and crosstalk noise on the clock signal propagating along an H-tree clock distribution network are investigated in this paper. In particular...
120
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...