3408 search results - page 526 / 682 » Logic, language, information and computation |
JBI
2002
13 years 10 months ago
2002
i As the pace of biological research accelerates, biologists are becoming increasingly reliant on computers to manage the information explosion. Biologists communicate their resea...
PLDI
1998
ACM
14 years 2 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
GI
2005
Springer
14 years 3 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
Despite the ready availability of digital recording technology and the continually decreasing cost of digital storage, browsing audio recordings remains a tedious task. This paper...