3710 search results - page 433 / 742 » A new calculus of contexts |
181
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
171
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
This paper attempts to re-imagine ubiquitous computing for populations in low-income and information-challenged environments. We examine information infrastructures in midsized ur...
148
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
168
click to vote
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
After [15, 31, 19, 8, 25, 5] minimum cut/maximum flow algorithms on graphs emerged as an increasingly useful tool for exact or approximate energy minimization in low-level vision...
189
click to vote
ADAEUROPE
2000
Springer
15 years 11 months ago
2000
Springer
Component-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reus...