71 search results - page 6 / 15 » A Semantic Foundation for Hidden State |
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Semantic video content extraction and selection are critical steps in sports video analysis and editing. The identification of video segments can be from various semantic perspec...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
KI
2009
Springer
14 years 1 days ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
JAIR
2007
13 years 7 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...