4520 search results - page 86 / 904 » Algebraic Techniques for Timed Systems |
107
click to vote
ICPR
2004
IEEE
16 years 3 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...
126
click to vote
ASIAMS
2008
IEEE
15 years 8 months 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...
125
click to vote
CONCUR
2009
Springer
15 years 8 months 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...
119
click to vote
P2P
2007
IEEE
15 years 8 months 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...
112
click to vote
CHINZ
2005
ACM
15 years 3 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...