3206 search results - page 22 / 642 » How minds can be computational systems |
PODC
1990
ACM
14 years 3 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
ASSETS
2005
ACM
14 years 1 months ago
2005
ACM
A demo of a biosignal interface, which allows to operate a Windows r PC without using the hands, shall be given. The system – called HaMCoS (for Hands-free Mouse Control System)...
CSE
2009
IEEE
14 years 6 months ago
2009
IEEE
—When the Internet was conceived, its fundamental operation was envisioned to be point-to-point communication allowing anybody to talk directly to anybody. With its increasing su...
DPPI
2007
ACM
14 years 3 months ago
2007
ACM
Abstract. Shareability is a design principle that refers to how a system, interface, or device engages a group of collocated, co-present users in shared interactions around the sam...
DSN
2007
IEEE
14 years 5 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...