1128 search results - page 148 / 226 » Classical Natural Deduction |
120
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Wireless sensor networks (WSNs) are energyconstrained in nature, in this paper, we formulate the problem of data transport in sensor networks as a network utility maxim...
127
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
Blind restoration of blurred images is a classical ill-posed problem. There has been considerable interest in the use of partial differential equations to solve this problem. The ...
130
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper, we develop and analyze a lowcomplexity cooperative protocol that significantly increases the average throughput of multi-hop upstream transmissions for ...
126
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
144
click to vote
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...