12115 search results - page 56 / 2423 » Bisimulation of Dynamical Systems |
KDD
2012
ACM
11 years 11 months ago
2012
ACM
Most time series data mining algorithms use similarity search as a core subroutine, and thus the time taken for similarity search is the bottleneck for virtually all time series d...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
SEUS
2009
IEEE
14 years 3 months ago
2009
IEEE
USENIX
2001
13 years 10 months ago
2001
AROBOTS
2008
13 years 9 months ago
2008
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...