2696 search results - page 295 / 540 » Semantic Abstraction and Anaphora |
168
click to vote
TLCA
2005
Springer
16 years 1 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...
159
click to vote
TSD
2005
Springer
16 years 1 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...
154
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
176
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
153
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...