7628 search results - page 266 / 1526 » Spatial P systems |
182
click to vote
P2P
2006
IEEE
16 years 19 days ago
2006
IEEE
Peers in peer-to-peer file-sharing systems use conjunctive queries as a way of controlling query cost in the absence of information about the behavior of other peers. Conjunctive ...
187
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
– MIMO (Multiple Input Multiple Output) is capable of offering several-fold increase in spectral efficiency over singleantenna systems through spatial processing. However, curren...
170
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
210
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
167
click to vote
AAAI
2000
15 years 8 months ago
2000
This paper demonstrates qualitative spatial reasoning techniques in a real-world diagrammatic reasoning task: Course-of-Action (COA) diagrams. COA diagrams are military planning d...