2136 search results - page 137 / 428 » A Game-Theoretic Operational Semantics |
149
Voted
RAS
2008
15 years 3 months ago
2008
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
121
Voted
DCOSS
2007
Springer
15 years 9 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...
119
Voted
CIKM
2009
Springer
15 years 6 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...
139
Voted
APCCM
2009
15 years 4 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...
143
Voted
ENTCS
2008
15 years 3 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...