1147 search results - page 16 / 230 » Differential Matching Constraints |
106
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
89
Voted
ICCV
2003
IEEE
15 years 8 months ago
2003
IEEE
108
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...