523 search results - page 34 / 105 » Past and Future of DL-Lite |
ECAL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
MIS
1999
Springer
15 years 1 months ago
1999
Springer
Interactive multimedia sessions have uncertain, varying consumption rates due to users' interactive behavior. In this paper, we propose two approaches for prediction of consu...
HOTOS
1997
IEEE
15 years 1 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
IWANN
1993
Springer
15 years 1 months ago
1993
Springer
Over the past decade a large variety of hardware has been designed to exploit the inherent parallelism of the artificial neural network models. This paper presents an overview of ...
FSEN
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...