Sciweavers

2948 search results - page 186 / 590
» More Principled Design of Pervasive Computing Systems
Sort
View
EICS
2009
ACM
15 years 11 months ago
How usable are operational digital libraries: a usability evaluation of system interactions
This paper reports a usability evaluation of three operational digital libraries (DLs): the ACM DL, the IEEE Computer Society DL, and the IEEE Xplore DL. An experiment was conduct...
Xiangmin Zhang, Jingjing Liu, Yuelin Li, Ying Zhan...
TABLETOP
2006
IEEE
15 years 10 months ago
Supporting the creation of Mood Boards: Industrial Design in Mixed Reality
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...
Andrés Lucero, Jean-Bernard Martens
SAT
2009
Springer
153views Hardware» more  SAT 2009»
15 years 11 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
IJON
2007
88views more  IJON 2007»
15 years 4 months ago
Information maximization in face processing
This perspective paper explores principles of unsupervised learning and how they relate to face recognition. Dependency coding and information maximization appear to be central pr...
Marian Stewart Bartlett
EUROSYS
2010
ACM
15 years 10 months ago
PUSH: A Dataflow Shell
The deluge of huge data sets such as those provided by sensor networks, online transactions, and the web provide exciting opportunities for data analysis. The scale of the data ...
Noah Evans, Eric Van Hensbergen