3532 search results - page 141 / 707 » Visualization of SystemC Designs |
118
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents a new interaction technique for browsing large visual information bases in a collaborative environment. The ATELIER project deals with learning environments fo...
116
Voted
IV
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
111
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Although the archive of text generated by a persistent conversation (i.e. newsgroup, mailing list, recorded chat, etc.) is searchable, it is not very expressive of the underlying ...
143
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
116
Voted
HCI
2007
15 years 4 months ago
2007
Abstract. We present the AudioIndex prototype, a light-weight mobile RFIDbased point-and-listen interface that allows visually impaired to browse and search for audio books within ...