4460 search results - page 785 / 892 » Formal methods for interactive systems |
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This study focused on improving vigilance performance through developing methods to arouse subjects to the possibility of errors in a data manipulation information warfare attack....
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
—This paper investigates the application of a new kind of recurrent neural network called Echo State Networks (ESNs) for the problem of measuring the actual amount of harmonic cu...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
- Robot companions need to be able to constantly acquire knowledge about new objects for instance in order to detect them in the environment. This ability is necessary since it is ...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...