5451 search results - page 42 / 1091 » Typed Operational Semantics |
143
click to vote
ICRA
2006
IEEE
15 years 12 months ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
135
click to vote
APAL
2008
15 years 6 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
161
click to vote
CONTEXT
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a practical application of context for the evaluation of semantic similarity. The work is based on a new model for the assessment of semantic similarity among ...
171
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
