34202 search results - page 246 / 6841 » The Tera computer system |
208
click to vote
HCI
2011
14 years 10 months ago
2011
We present VizKid, a capture and visualization system for supporting the analysis of social interactions between two individuals. The development of this system is motivated by the...
179
click to vote
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a framework to address the combination of ubiquitous computing interests as an Intelligent Assisting Location-Aware Service and development of its hardware a...
182
click to vote
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
174
click to vote
ACII
2005
Springer
16 years 24 days ago
2005
Springer
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...