3561 search results - page 64 / 713 » Design: One, but in different forms |
142
click to vote
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
149
click to vote
HRI
2006
ACM
16 years 1 days ago
2006
ACM
There is growing interest in mining the world of video games to find inspiration for human-robot interaction (HRI) design. This paper segments video game interaction into domain-i...
137
Voted
C5
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes our approach of utilizing a computational environment to apply a learner’s learning process as a first class object. With this approach, the learner’s le...
181
Voted
DATE
2009
IEEE
16 years 25 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
156
Voted
ANCS
2005
ACM
15 years 11 months ago
2005
ACM
Network processors (NPs) promise a flexible, programmable packet processing infrastructure for network systems. To make full use of the capabilities of network processors, it is ...