1363 search results - page 68 / 273 » On some Relations between Dynamical Systems and Transition S... |
HUC
2007
Springer
15 years 4 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
104
click to vote
ENTCS
2006
14 years 9 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
DC
2010
14 years 10 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— In this paper, the tendon-sheath driving system for a robotic hand is presented and its force transmission characteristics are analyzed. The use of tendon-based transmission pe...
BIOID
2008
14 years 11 months ago
2008
Abstract. Security and privacy issues are considered as two of the major concerns related to the use of biometric data for authentication purposes. In this paper we propose two dif...