4744 search results - page 669 / 949 » Connected Computing |
203
Voted
FUIN
2010
15 years 6 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
239
click to vote
HUC
2010
Springer
15 years 6 months ago
2010
Springer
We present Energy Life a system utilizing wireless sensors, mobile and ambient interfaces that turn energy consumers into active players. Energy Life participants play through dif...
226
click to vote
IJAR
2010
15 years 6 months ago
2010
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
178
click to vote
JCNS
2010
15 years 5 months ago
2010
State space methods have proven indispensable in neural data analysis. However, common methods for performing inference in state-space models with non-Gaussian observations rely o...
202
click to vote
NEW2AN
2010
Springer
15 years 5 months ago
2010
Springer
Delay tolerant network (DTN) challenges on large delay of communication, opportunistic and intermittent connectivity so that data can be transferred over vulnerable network. Most r...