1560 search results - page 104 / 312 » interfaces 2010 |
ACMIDC
2010
14 years 2 months ago
2010
In designing communication technology for children, it is important to understand the affective benefits and costs introduced by a particular medium. We present an Affective Benef...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
Facetedpedia is a faceted search system that dynamically discovers query-dependent faceted interfaces for Wikipedia search result articles. In this paper, we give an overview of F...
ICA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In brain computer interface based on motor imagery, covariances matrices are widely used through spatial filters computation and other signal processing methods. Covarian...