12774 search results - page 2352 / 2555 » A Framework for Proof Systems |
238
click to vote
IDA
2010
Springer
15 years 5 months ago
2010
Springer
Data-driven knowledge discovery is becoming a new trend in various scientific fields. In light of this, the goal of the present paper is to introduce a novel framework to study one...
197
click to vote
IDT
2010
15 years 5 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
202
click to vote
IJRR
2010
15 years 5 months ago
2010
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
196
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
177
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents a novel scheme, Layered Internet Video Engineering (LIVE), in which network nodes feed back virtual congestion levels to video senders to assist both media-a...