5401 search results - page 716 / 1081 » Using Versions in GIS |
189
click to vote
ACE
2004
15 years 8 months ago
2004
The problems of providing a real, physical specialist laboratory to teach computer networking such as, the lack of funding and physical space and the risks and threats to the netw...
167
click to vote
AAAI
2006
15 years 8 months ago
2006
People frequently use the world-wide web to find their most preferred item among a large range of options. We call this task preference-based search. The most common tool for pref...
157
click to vote
ALENEX
2004
15 years 8 months ago
2004
Given a terrain T and a point p on or above it, we wish to compute the region Rp that is visible from p. We present a generic radar-like algorithm for computing an approximation o...
194
click to vote
AVI
2004
15 years 8 months ago
2004
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
177
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...