4460 search results - page 457 / 892 » Formal methods for interactive systems |
177
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
211
click to vote
ISWC
1998
IEEE
15 years 11 months ago
1998
IEEE
Most existing augmented reality systems only provide a method for browsing information that is situated in the real world context. This paper describes a system that allows users ...
166
Voted
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
189
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
169
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...