28497 search results - page 281 / 5700 » Improving experiences of computation |
164
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...
158
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
168
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
It is becoming the norm for small mobile devices to have access to multiple technologies for connecting to the Internet. This gives researchers an increasing interest for solution...
170
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Flooding is a growing problem, which affects more than 10% of the UK population. The cost of damage caused by flooding correlates closely with the warning time given before a floo...
209
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...