1021 search results - page 39 / 205 » Concepts in Proof Planning |
CORR
2011
Springer
13 years 6 days ago
2011
Springer
: In a multi-cell scenario, the inter-cell interference (ICI) is detrimental in achieving the intended system performance, in particular for the edge users. There is paucity of wor...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
CRYPTO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
To meet the objectives of many future missions, robots will need to be adaptable and reconfigurable. A concept for such a robotic system has been proposed previously based on usin...
AIIA
2003
Springer
14 years 9 days ago
2003
Springer
This paper attempts to analyze the issue of planning and scheduling integration from the point of view of information sharing. This concept is the basic bridging factor between the...