1147 search results - page 16 / 230 » Differential Matching Constraints |
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
KI
2007
Springer
14 years 1 months ago
2007
Springer
ICCV
2003
IEEE
14 years 26 days ago
2003
IEEE
FORMATS
2006
Springer
13 years 11 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...