7690 search results - page 1233 / 1538 » On the semantics of informational independence |
257
click to vote
PDIS
1996
IEEE
15 years 11 months ago
1996
IEEE
Users today are struggling to integrate a broad range of information sources providing di erent levels of query capabilities. Currently, data sources with di erent and limitedcapa...
187
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
139
click to vote
STACS
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we present a new notion of what it means for a problem in P to be inherently sequential. Informally, a problem L is strictly sequential P-complete if when the best kn...
145
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
We conducted an ethnographic study to investigate the use of generic vs. task-specific application software by people who create and maintain presentation slides. Sixteen people w...
237
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
Imaging vector fields has applications in science, art, image processing and special effects. An effective new approach is to use linear and curvilinear filtering techniques to ...