2208 search results - page 377 / 442 » Memory Practices in the Sciences |
STACS
2005
Springer
15 years 3 months ago
2005
Springer
Exponential algorithms, i.e. algorithms of complexity O(cn ) for some c > 1, seem to be unavoidable in the case of NP-complete problems (unless P=NP), especially if the problem ...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Single Display Groupware (SDG) lets multiple co-located people, each with their own input device, interact simultaneously over a single communal display. While SDG is beneficial, ...
PDC
2004
ACM
15 years 3 months ago
2004
ACM
In recent years both companies and research communities call for collaborative work practices and user-centered approaches in various design fields. There are several challenges a...