434 search results - page 49 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
131
click to vote
CDC
2008
IEEE
16 years 13 days ago
2008
IEEE
—A material handling (MH) system of a general assembly line dispatching parts from inventory to working buffers could be complicated and costly to operate. Generally it is extrem...
153
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Recent approaches for linking paper and digital information or services tend to be based on a one-time publishing of digital information where changes to the printed document beco...
195
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
168
click to vote
MICAI
2005
Springer
15 years 11 months ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...
177
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...