1128 search results - page 148 / 226 » Classical Natural Deduction |
92
Voted
ICC
2007
IEEE
15 years 7 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...
92
Voted
ICIP
2007
IEEE
15 years 7 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 ...
INFOCOM
2007
IEEE
15 years 7 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 ...
94
Voted
LICS
2007
IEEE
15 years 7 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...
114
click to vote
ROMAN
2007
IEEE
15 years 7 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...