2343 search results - page 238 / 469 » Structure and Interpretation of Computer Programs |
209
click to vote
FPCA
1995
15 years 10 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
187
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
151
click to vote
FOSSACS
2005
Springer
16 years 1 hour ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
171
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
196
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
The design of inference algorithms for discrete-valued Markov Random Fields constitutes an ongoing research topic in computer vision. Large state-spaces, none-submodular energy-fun...