11462 search results - page 491 / 2293 » Developing Application-Centric Methods |
169
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
163
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper describes a view planning of multiple cameras for tracking multiple persons for surveillance purposes. When only a few active cameras are used to cover a wide area, ...
162
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
235
click to vote
CBSQ
2003
Springer
16 years 3 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
145
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
—In recent years, dome display has become popular, and it is desired to establish a method to create dome image contents easily. In this study, psychophysical experiment was cond...