1587 search results - page 266 / 318 » The Semantics of Extended SOFL |
TAGT
1998
Springer
13 years 12 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
This paper describes SHOE, a set of Simple HTML Ontology Extensions which allow World-Wide Web authors to annotate their pages with semantic knowledge such as “I am a graduate s...
CIKM
1997
Springer
13 years 11 months ago
1997
Springer
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
ICCS
1994
Springer
13 years 11 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...