10051 search results - page 23 / 2011 » A Dynamic Separator Algorithm |
ENTCS
2008
15 years 15 days ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
92
Voted
KES
2004
Springer
15 years 5 months ago
2004
Springer
This paper introduces a novel parallelised vision based intelligent controller for a Humanoid Robot system. This intelligent controller is simulated dynamically and its performance...
78
Voted
SODA
1994
ACM
15 years 1 months ago
1994
ACM
108
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...