2776 search results - page 309 / 556 » System-Level Abstraction Semantics |
160
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
191
click to vote
RULEML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
165
click to vote
SSS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation...
171
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
161
click to vote
TSD
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...