1560 search results - page 104 / 312 » interfaces 2010 |
115
Voted
ACMIDC
2010
15 years 6 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...
118
Voted
PLDI
2010
ACM
15 years 6 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...
103
Voted
BIRTHDAY
2010
Springer
15 years 3 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...
160
click to vote
CIKM
2010
Springer
15 years 24 days 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...
126
Voted
ICA
2010
Springer
15 years 22 days 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...