8228 search results - page 1279 / 1646 » Structural Logical Relations |
130
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
153
Voted
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
161
click to vote
ALT
2005
Springer
16 years 2 months ago
2005
Springer
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...
174
click to vote
WCRE
2009
IEEE
16 years 7 days ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
153
click to vote
ESA
2007
Springer
15 years 11 months ago
2007
Springer
We review recent progress in the study of arrangements in computational and combinatorial geometry, and discuss several open problems and areas for further research. In this talk I...