3429 search results - page 221 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
156
click to vote
ICGI
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
126
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
121
click to vote
PODS
2006
ACM
16 years 4 months ago
2006
ACM
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...
130
click to vote
IWFM
1998
15 years 5 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
142
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...