5879 search results - page 36 / 1176 » Separation - Past, Present, and Future |
109
click to vote
CHI
2008
ACM
15 years 1 months ago
2008
ACM
As Wikipedia grows, so do the messy byproducts of collaboration. Backlogs of administrative work are increasing, suggesting the need for more users with privileged admin status. T...
105
click to vote
BIRTHDAY
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
110
click to vote
CDES
2006
15 years 1 months ago
2006
Compilation has a long history of translating a programmer's human-readable code into machine instructions designed to make good use of a specific target computer. In this pa...
IADIS
2004
15 years 1 months ago
2004
Pervasive computing promises a new and radically improved paradigm for user interaction with services and applications. Although mainstream research and development in this area i...
COMSUR
2006
14 years 12 months ago
2006
Low Earth Orbit (LEO) satellites will work as an important component in future data communication networks. LEO satellites provide low end-to-end delays and efficient frequency spe...