Sciweavers

3505 search results - page 225 / 701
» A Language for Human Action
Sort
View
ICTAC
2009
Springer
15 years 4 months ago
A First-Order Policy Language for History-Based Transaction Monitoring
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
Andreas Bauer 0002, Rajeev Goré, Alwen Tiu
ICFP
2010
ACM
15 years 7 months ago
Using functional programming within an industrial product group: perspectives and perceptions
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
David Scott, Richard Sharp, Thomas Gazagnaire, Ani...
CHI
2009
ACM
16 years 7 months ago
CubeBrowser: a cognitive adapter to explore media databases
CubeBrowser is the concept study for a six-display cube with digital screens that makes it possible to browse online databases like flickr. The control of navigation is exclusivel...
Ludwig Zeller, Lasse Scherffig
CHI
2005
ACM
16 years 7 months ago
TXTmob: text messaging for protest swarms
This paper describes cell phone text messaging during the 2004 US Democratic and Republican National Conventions by protesters using TXTmob ? a text-message broadcast system devel...
Tad Hirsch, John Henry
ICRA
2006
IEEE
100views Robotics» more  ICRA 2006»
16 years 21 days ago
Learning EMG Control of a Robotic Hand: Towards Active Prostheses
— We introduce a method based on support vector machines which can detect opening and closing actions of the human thumb, index finger, and other fingers recorded via surface E...
Sebastian Bitzer, P. Patrick van der Smagt