1604 search results - page 249 / 321 » Development Separation in Lambda-Calculus |
177
click to vote
WOLLIC
2010
Springer
15 years 2 months 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...
164
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Ensemble clustering has emerged as an important elaboration of the classical clustering problems. Ensemble clustering refers to the situation in which a number of different (input)...
150
click to vote
WISTP
2010
Springer
15 years 2 months ago
2010
Springer
Although many countermeasures have been developed for desktop and server environments, buffer overflows still pose a big threat. The same approach can be used to target mobile devi...
122
click to vote
DSL
2009
15 years 2 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
126
click to vote
GRAPHICSINTERFACE
2009
15 years 2 months ago
2009
Multitouch workstations support direct-touch, bimanual, and multifinger interaction. Previous studies have separately examined the benefits of these three interaction attributes o...