523 search results - page 43 / 105 » Past and Future of DL-Lite |
ADAPTIVE
2007
Springer
14 years 2 months ago
2007
Springer
The paper reviews the development of generic user modeling systems over the past twenty years. It describes their purposes, their services within user-adaptive systems, and the dif...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
When large amount of statistical information about power system component failure rate is available, statistical parametric models can be developed for predictive maintenance. Oft...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
During software evolution a collection of related artifacts with different representations are created. Some of these are composed of structured data (e.g., analysis data), some c...