10159 search results - page 1651 / 2032 » System Design Validation Using Formal Models |
188
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
188
click to vote
MICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...
203
click to vote
APGV
2006
ACM
15 years 10 months ago
2006
ACM
Realistic image synthesis is the process of computing photorealistic images which are perceptually and measurably indistinguishable from real-world images. In order to obtain high...
180
click to vote
MICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
Until recently, a steadily rising clock rate and other uniprocessor microarchitectural improvements could be relied upon to consistently deliver increasing performance for a wide ...
201
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
— We propose a vision-based inertial system that overcomes the problems associated with slow update rates in navigation systems based on high-resolution cameras. Due to bandwidth...