943 search results - page 51 / 189 » Virtual First-Order Structure |
112
click to vote
ISWC
1999
IEEE
15 years 6 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...
139
click to vote
ECMAST
1997
Springer
15 years 6 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...
119
click to vote
SI3D
1995
ACM
15 years 6 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...
102
click to vote
ECIS
2000
15 years 3 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 ...
153
click to vote
ISAS
2005
Springer
15 years 8 months 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...