3429 search results - page 410 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
143
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
148
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
We present in this paper an approach to assessing student paraphrases in the intelligent tutoring system iSTART. The approach is based on measuring the semantic similarity between ...
133
Voted
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
146
Voted
ENTCS
1998
15 years 4 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
140
Voted
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...