2542 search results - page 230 / 509 » One step ahead |
95
Voted
GW
2003
Springer
15 years 6 months ago
2003
Springer
Large–display environments like Reality Center or Powerwall are recent equipments used in the Virtual Reality (VR) field. In contrast to HMDs or similar displays, they allow sev...
67
Voted
WACV
2002
IEEE
15 years 5 months ago
2002
IEEE
Aiming at manipulating clothes, a model-driven method of estimating the state of hanging clothes is proposed. We suppose a system consisting of two manipulators and a camera. The ...
101
click to vote
CHI
2000
ACM
15 years 5 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
104
click to vote
IEAAIE
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...
FMCAD
1998
Springer
15 years 5 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...