943 search results - page 51 / 189 » Virtual First-Order Structure |
153
click to vote
ISWC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces Virtual Information Towers (VITs) as a concept for presenting and accessing location-aware information with mobile clients. A VIT is a means of structuring l...
185
click to vote
ECMAST
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces a multicast based architecture for supporting large scale Collaborative Virtual Environments (CVEs). The paper begins by defining CVEs, discussing the motivat...
165
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
151
click to vote
ECIS
2000
15 years 8 months ago
2000
The paper explores the nature of professional intellect and the requirements for managing it, an area acknowledged as being under-researched. Five case studies in the professional ...
208
click to vote
ISAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...