1569 search results - page 210 / 314 » Using Organic Computing to Control Bunching Effects |
155
Voted
FGR
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
94
Voted
JLP
2010
14 years 10 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
107
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
With the rapid growth of personal computer networks and the Internet, sharing files has become a central activity in computer use. The ways in which users control the what, how, a...
155
Voted
CGF
2004
15 years 3 months ago
2004
Visualization is a powerful tool for analysing data and presenting results in science, engineering and medicine. This paper reviews ways in which it can be used in distributed and...
109
Voted
RSS
2007
15 years 5 months ago
2007
— This paper presents BS-SLAM, a simultaneous localization and mapping algorithm for use in unstructured environments that is effective regardless of whether features correspond ...