7792 search results - page 196 / 1559 » Designing the spectator experience |
159
Voted
DATE
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
142
click to vote
IROS
2006
IEEE
16 years 4 days ago
2006
IEEE
- This paper presents the design of an experimental system for assembly applications in space. The prototypical application is the assembly of mechanical trusses. The system used a...
140
click to vote
SIGCSE
2006
ACM
16 years 2 days ago
2006
ACM
This paper examines software designs produced by students nearing completion of their Computer Science degrees. The results of this multi-national, multi-institutional experiment ...
148
click to vote
ICCHP
2004
Springer
15 years 11 months ago
2004
Springer
: Our aim is to design web-based interactive educational materials for the hearing-impaired based on their interaction style. We describe the results of an eye-tracking experiment ...
143
Voted
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract - A comprehensive study of ultra high-speed currentmode logic (CML) buffers and regenerative CML latches will be illustrated. A new design procedure to systematically desi...