2268 search results - page 238 / 454 » The Essence of Form Abstraction |
110
Voted
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...
151
click to vote
WOLLIC
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
122
Voted
ENTCS
2010
14 years 11 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
151
click to vote
ECSA
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
180
Voted
ER
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...