339 search results - page 48 / 68 » Basic concepts of abstract interpretation |
101
click to vote
CICLING
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
116
click to vote
EKAW
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
96
Voted
VLSID
1999
IEEE
15 years 4 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
113
click to vote
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...