1611 search results - page 158 / 323 » A Library for Self-Adjusting Computation |
158
click to vote
ELPUB
2006
ACM
16 years 14 days ago
2006
ACM
Originally established to merely publish electronic theses and dissertations (ETDs) as well as postdoctoral theses, the edoc server at Humboldt University Berlin (http://edoc.hu-b...
198
click to vote
ICCS
2005
Springer
16 years 20 hour ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
182
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their bene...
188
click to vote
CCO
2001
Springer
15 years 11 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...
178
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...