961 search results - page 61 / 193 » An Algorithm for Computing Semi-stable Semantics |
183
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
120
click to vote
TKDE
2008
14 years 9 months ago
2008
In this paper, we propose an image semantic model based on the knowledge and criteria in the field of linguistics and taxonomy. Our work bridges the "semantic gap" by sea...
DSS
2006
14 years 9 months ago
2006
Concept mapping systems used in education and knowledge management emphasize flexibility of representation to enhance learning and facilitate knowledge capture. Collections of con...