1246 search results - page 34 / 250 » Recursive Timed Automata |
88
Voted
IJCSS
2006
15 years 20 days ago
2006
The time varying human multijoint arm dynamics can be modeled by two factors, simplified musculoskeletal dynamics and the uncertainty factor consisting of measurement noises and m...
122
Voted
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
98
Voted
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
How do real, weighted graphs change over time? What patterns, if any, do they obey? Earlier studies focus on unweighted graphs, and, with few exceptions, they focus on static snap...
104
click to vote
WSCG
2001
15 years 2 months ago
2001
This paper presents a fast disparity analysis approach based on a hybrid block- and pixel-recursive matching scheme. The key idea is to choose efficiently a small number of candid...
86
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...