4273 search results - page 754 / 855 » Improving proactive information systems |
CAD
2000
Springer
13 years 10 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
CN
2000
13 years 10 months ago
2000
The Stanford Power Browser project addresses the problems of interacting with the World-Wide Web through wirelessly connected Personal Digital Assistants (PDAs). These problems in...
PAMI
2000
13 years 10 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
JCT
1998
13 years 9 months ago
1998
We introduce a concept of so-called disjoint ordering for any collection of finite sets. It can be viewed as a generalization of a system of distinctive representatives for the s...
TSE
1998
13 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...