4595 search results - page 305 / 919 » Reasoning about Plans |
206
Voted
DLOG
2008
15 years 9 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
200
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In modern intensive care units (ICUs), the medical staff has to monitor a huge amount of high-dimensional and timeoriented data, which needs to be visualized user- and taskspecifi...
194
Voted
ESA
2005
Springer
16 years 1 months ago
2005
Springer
We present a new speedup technique for route planning that exploits the hierarchy inherent in real world road networks. Our algorithm preprocesses the eight digit number of nodes n...
163
click to vote
WISE
2002
Springer
16 years 11 days ago
2002
Springer
In this paper we describe the architectural and functional characteristics of Bus Catcher, a context sensitive prototype system for public transportation users. Bus Catcher assist...
163
Voted
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In order to reduce the long commuting times for office workers, Fuji Xerox began experimenting with satellite offices. In this paper I will report on changes in the work styles of...