3725 search results - page 144 / 745 » DLP System Description |
171
click to vote
AAAI
1994
15 years 7 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
173
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
310
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
We present an indoor positioning system that measures location using disturbances of the Earth's magnetic field caused by structural steel elements in a building. The presenc...
170
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
161
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...