857 search results - page 64 / 172 » Compositional Semantics in Verbmobil |
123
click to vote
ER
2007
Springer
16 years 8 days ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
154
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
183
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
150
click to vote
PLDI
2006
ACM
16 years 2 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
158
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...