5451 search results - page 42 / 1091 » Typed Operational Semantics |
115
Voted
ICRA
2006
IEEE
15 years 8 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...
101
click to vote
APAL
2008
15 years 2 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...
128
Voted
CONTEXT
1999
Springer
15 years 6 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 ...
128
Voted
ICTCS
2005
Springer
15 years 7 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...
