4770 search results - page 925 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
214
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
145
click to vote
CLEF
2007
Springer
15 years 8 months ago
2007
Springer
We describe cross language retrieval experiments using Amharic queries and English language document collection from our participation in the bilingual ad hoc track at the CLEF 20...
124
click to vote
INFOVIS
1995
IEEE
15 years 6 months ago
1995
IEEE
Visualizations which depict entire information spaces provide context for navigation and browsing tasks; however, the limited size of the display screen makes creating effective g...
120
Voted
CHI
2001
ACM
16 years 2 months ago
2001
ACM
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
145
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...