4172 search results - page 571 / 835 » Computing Machinery and Understanding |
188
click to vote
GD
2005
Springer
16 years 6 days ago
2005
Springer
A workshop on Network Analysis and Visualisation was held on September 11, 2005 in Limerick Ireland, in conjunction with 2005 Graph Drawing conference. This report review the backg...
194
click to vote
IFL
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
163
click to vote
LOCA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
214
click to vote
CSCW
2004
ACM
16 years 4 days ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
183
click to vote
CONCUR
2004
Springer
16 years 2 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...