4609 search results - page 708 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
162
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present an interactive system, Mixxx, for live DJ'ing using digital sound files. The design of the system is approached from two directions: Through Contextual Design usin...
176
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
In the automatic design of custom instruction set processors, there can be a very large set of potential custom instructions, from which a few instructions are required to be chos...
186
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
170
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...