Sciweavers

3824 search results - page 179 / 765
» Geometry Constructions Language
Sort
View
PLDI
2005
ACM
15 years 6 months ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine
AAAI
1996
15 years 2 months ago
Spatial Aggregation: Language and Applications
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
Christopher Bailey-Kellogg, Feng Zhao, Kenneth Yip
91
Voted
ICPR
2010
IEEE
15 years 28 days ago
A Probabilistic Language Model for Hand Drawings
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...
Abdullah Akce, Timothy Bretl
184
Voted
POPL
2004
ACM
16 years 1 months ago
Principal typings for Java-like languages
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
Davide Ancona, Elena Zucca
SEFM
2008
IEEE
15 years 7 months ago
Specialized Aspect Languages Preserving Classes of Properties
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
Simplice Djoko Djoko, Rémi Douence, Pascal ...