2696 search results - page 360 / 540 » Semantic Abstraction and Anaphora |
144
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
158
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
150
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
189
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Most existing ontology mapping tools do not provide exact mappings. Rather, there is usually some degree of uncertainty. We describe a framework to improve existing ontol...
147
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...