850 search results - page 7 / 170 » Simultaneous Communication of Data and State |
FM
2003
Springer
14 years 4 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
ASYNC
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
—The main contribution of this paper arises from the development of a new framework, which has its inspiration in the mechanics of human navigation, for solving the problem of Si...
IJRR
2010
13 years 9 months ago
2010
The solution to the problem of mapping an environment and at the same time using this map to localize (the simultaneous localization and mapping, SLAM, problem) is a key prerequis...
IJBRA
2008
13 years 11 months ago
2008
: A major challenge in text mining for biomedicine is automatically extracting protein-protein interactions from the vast amount of biomedical literature. We have constructed an in...