4520 search results - page 86 / 904 » Algebraic Techniques for Timed Systems |
143
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The main goal of this paper is to show that pattern recognition techniques can be successfully used in abstract algebra. We introduce a pattern recognition system to recognize wor...
164
click to vote
ASIAMS
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents the use of angular position control approaches for a flexible robot manipulator with disturbances effect in the dynamic system. Delayed Feedback Signal (DFS) a...
170
click to vote
CONCUR
2009
Springer
16 years 23 days ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
162
click to vote
P2P
2007
IEEE
16 years 14 days ago
2007
IEEE
To achieve higher efficiency over their unstructured counterparts, structured peer-to-peer systems hold each node responsible for serving a specified set of keys and correctly r...
165
click to vote
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
Beautification of vague, imprecise sketchy ink input is an interesting area for exploration, especially with the emergence of pen-based systems, such as the Tablet PC. Fifty perce...