Sciweavers

1805 search results - page 187 / 361
» A Theory of Closure Operators
Sort
View
JUCS
2010
100views more  JUCS 2010»
15 years 5 months ago
A Pragmatic Qualitative Approach for Juxtaposing Shapes
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
Lledó Museros Cabedo, Luis González ...
MOBILIGHT
2010
15 years 4 months ago
Robust Wireless Network Coding - An Overview
Network Coding (NC) has witnessed a tremendous upsurge in interest and activities in recent years, both in academia and industry. Indeed, since the pioneering publication of Ahlswe...
Marco Di Renzo, Lana Iwaza, Michel Kieffer, Pierre...
IAT
2009
IEEE
15 years 4 months ago
Strategic Ability Update: A Modal Logic Account
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...
IGARSS
2010
15 years 3 months ago
Scatterometer image reconstruction from aperture-filtered samples
This paper considers sampling and reconstruction theory with application to scatterometer image reconstruction. Backscatter imaging is approached as the inversion of a noisy apert...
Brent A. Williams, David G. Long
AI
2011
Springer
15 years 1 months ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon