2343 search results - page 77 / 469 » Structure and Interpretation of Computer Programs |
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Grothendieck inequalities are fundamental inequalities which are frequently used in many areas of mathematics and computer science. They can be interpreted as upper bounds for the ...
118
click to vote
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
138
click to vote
AAAI
2004
15 years 6 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
143
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
131
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
We believe it is unreasonable to assume that all students will own a laptop. One potential solution is to depend on the students to bring whatever computing devices (cell phones, ...