4744 search results - page 306 / 949 » Connected Computing |
125
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
112
click to vote
FLAIRS
2001
15 years 5 months ago
2001
Wereviewand extendthe qualitative relationships about the informational relevanceof variables in graphical decision modelsbased on conditional independenciesrevealedthroughgraphic...
128
click to vote
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. This situation often leads to fatalities as people a...
128
click to vote
WMCSA
2009
IEEE
15 years 11 months ago
2009
IEEE
Context–Aware Composition is a technique to overcome the complexity of wireless discovery, device selection, and establishing connections to other computers in an environment wh...
103
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: This paper proposes CARUSO – a new SoC approach that emphasizes Connectivity, Autonomic/Organic computing principles, Real-time, and Ultra-low power requirements. The requireme...