5451 search results - page 351 / 1091 » Typed Operational Semantics |
145
click to vote
FLAIRS
2007
15 years 7 months ago
2007
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
135
click to vote
DCOSS
2007
Springer
15 years 11 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...
133
Voted
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
161
Voted
APCCM
2009
15 years 6 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
155
click to vote
ENTCS
2008
15 years 5 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...