844 search results - page 116 / 169 » Solving the p |
168
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The growing infrastructure for Web Services assumes a "programmer in the loop" that hardcodes the connections between Web Services and directly programs Web Service comp...
148
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
We present a new interaction framework for collaborating in multiple display environments (MDEs) and report results from a field study investigating its use in an authentic work s...
156
click to vote
STOC
2010
ACM
16 years 3 months ago
2010
ACM
The P vs NP problem arose from the question of whether exhaustive search is necessary for problems with short verifiable solutions. We do not know if even a slight algorithmic imp...
164
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
149
click to vote
ICCD
2004
IEEE
16 years 2 months ago
2004
IEEE
Leakage current is a key factor in IC power consumption even in the active operating mode. We investigate the simultaneous optimization of gate size and threshold voltage to reduc...