Sciweavers

5363 search results - page 494 / 1073
» Building the Cerebellum in a Computer
Sort
View
ICWS
2009
IEEE
16 years 4 months ago
Enabling Scaleable, Efficient, Non-visual Web Browsing Services
Over the last few decades, the discipline of Web Accessibility has been focused on building more efficient and more effective speech generators for Web Browsers. The visual browse...
Ashish Verma, Tyrone Grandison, Himanshu Chauhan
ASM
2010
ASM
16 years 4 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler
220
Voted
CSCW
2010
ACM
16 years 2 months ago
The roles that make the domestic work
This paper builds on earlier CSCW studies of domestic technologies, looking at the frequent maintenance required by new security technologies that households are adopting to provi...
Jennifer A. Rode
140
Voted
TEI
2010
ACM
114views Hardware» more  TEI 2010»
16 years 2 months ago
Knitted stretch sensors for sound output
Stretch sensors appear to offer the physical computing and wearables communities a solution in their flexibility. This paper introduces an interdisciplinary project in which knit,...
Martha Glazzard, Sarah Kettley
228
Voted
AFRICACRYPT
2010
Springer
16 years 2 months ago
Parallel Shortest Lattice Vector Enumeration on Graphics Cards
In this paper we present an algorithm for parallel exhaustive search for short vectors in lattices. This algorithm can be applied to a wide range of parallel computing systems. To ...
Jens Hermans, Michael Schneider 0002, Johannes Buc...