7433 search results - page 1134 / 1487 » Management of Technology |
192
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
177
Voted
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
210
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
167
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...
196
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
: Our personal knowledge plays a vital role in our daily intellectual work. This paper proposes a method for acquiring and utilizing our personal knowledge in computer systems. We ...