523 search results - page 63 / 105 » Past and Future of DL-Lite |
AIED
2007
Springer
14 years 2 months ago
2007
Springer
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
CP
2007
Springer
14 years 2 months ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Using a scenario of multiple mobile observing platforms (UAVs) measuring weather variables in distributed regions of the Pacific, we are developing algorithms that will ...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...