2343 search results - page 117 / 469 » Structure and Interpretation of Computer Programs |
161
Voted
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Main topic of this work is development of educational games that can be used on mobile devices. Paper describes a novel approach to educational game defining and interpretation. I...
180
click to vote
TRIER
2002
15 years 4 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
131
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
134
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
235
click to vote
CAEPIA
2011
Springer
14 years 4 months ago
2011
Springer
Mixed multi-unit combinatorial auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, in order for mixed auctions ...