Sciweavers

1746 search results - page 229 / 350
» On the expressiveness of interaction
Sort
View
TEI
2010
ACM
216views Hardware» more  TEI 2010»
16 years 1 months ago
TouchTone: an electronic musical instrument for children with hemiplegic cerebral palsy
Children with hemiplegic cerebral palsy often lack the physical skills to explore their environment independently, express feelings, communicate, and successfully participate in s...
Soumitra Bhat
ISEUD
2009
Springer
16 years 29 days ago
Fast, Accurate Creation of Data Validation Formats by End-User Developers
Abstract. Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) ...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
ESOP
2007
Springer
16 years 18 days ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
ANSS
2006
IEEE
16 years 15 days ago
iSimBioSys: A Discrete Event Simulation Platform for 'in silico' study of biological systems
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
CSFW
2006
IEEE
16 years 14 days ago
Coercion-Resistance and Receipt-Freeness in Electronic Voting
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
Stéphanie Delaune, Steve Kremer, Mark Ryan