2203 search results - page 237 / 441 » Temporal Abstract Interpretation |
159
Voted
AMDO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose motion manifold learning and motion primitive segmentation framework for human motion synthesis from motion-captured data. High dimensional motion capture date...
169
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
142
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We formulate the problem of least squares temporal difference learning (LSTD) in the framework of least squares SVM (LS-SVM). To cope with the large amount (and possible ...
131
click to vote
ECAL
1995
Springer
15 years 7 months ago
1995
Springer
Although recently there has been an increasing interest in studing genetically-based development using Artificial Life models, the mapping of the genetic information into the phen...
132
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In this paper, we present a collision-free asynchronous multi-channel access protocol for Ad Hoc wireless networks using a single transceiver. Our protocol, dubbed AMMAC...