5638 search results - page 302 / 1128 » On presence |
127
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
135
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Both the academia and practice recognize that information technology (IT) investments may not yield immediate benefits. Nevertheless, there has been a lack of methodological devel...
164
Voted
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Iterative reconstruction algorithms augmented with regularization can produce high-quality reconstructions from few views and even in the presence of significant noise. In this pa...
187
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
This project explores the social possibilities of mobile technology in transitional spaces such as public transport. Based on a cultural probes study of Stockholm subway commuters...
169
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...