846 search results - page 129 / 170 » The Use of Z |
ICASSP
2007
IEEE
14 years 28 days ago
2007
IEEE
Our purpose is to study how different muscles collaborate together to efficiently create a smooth, coordinated reaching movement. In the EMG literature, it has been commonplace to...
ICB
2007
Springer
14 years 28 days ago
2007
Springer
Abstract. This paper proposes a novel face recognition method based on discriminant analysis with Gabor tensor representation. Although the Gabor face representation has achieved g...
CAAN
2006
Springer
14 years 24 days ago
2006
Springer
We consider the problem of finding a short path between any two nodes of a network when no global information is available, nor any oracle to help in routing. A mobile agent, situa...
CC
2006
Springer
14 years 24 days ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
CMSB
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...