3256 search results - page 516 / 652 » Applications of Formal Methods to System Design and Verifica... |
ICASSP
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a novel feature selection method based on twostage analysis of Fisher Ratio and Mutual Information for robust Brain Computer Interface. This method decomposes ...
129
click to vote
MIR
2005
ACM
15 years 3 months ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
– Mobile robots operating in home environments must deal with constrained space and a great variety of obstacles and situations to handle. This article presents a pilot study aim...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
—The learning from observation (LFO) paradigm has been widely applied in various types of robot systems. It helps reduce the work of the programmer. However, the applications of ...