Sciweavers

7619 search results - page 39 / 1524
» Interaction, observance or both
Sort
View
ICIP
2006
IEEE
15 years 19 days ago
Variational Unsupervised Segmentation of Multi-Look Complex Polarimetric Images using a Wishart Observation Model
We address unsupervised variational segmentation ofmulti-look complex polarimetric images using a Wishart observation model via level sets. The methods consists of minimizing a fu...
Ismail Ben Ayed, Amar Mitiche, Ziad Belhadj
TLCA
2009
Springer
14 years 5 months ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
Lutz Straßburger
ICC
2007
IEEE
138views Communications» more  ICC 2007»
14 years 5 months ago
Optimal Observation Scheduling for connected target coverage problem in Wireless Sensor Networks
— In this paper, we consider the problem of scheduling sensor activity to maximize network lifetime while maintaining both discrete targets coverage and network connectivity. We ...
Qun Zhao, Mohan Gurusamy
BIRTHDAY
2005
Springer
14 years 4 months ago
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
Fabio Gadducci, Ugo Montanari
FLAIRS
2009
13 years 8 months ago
Dynamic Programming Approximations for Partially Observable Stochastic Games
Partially observable stochastic games (POSGs) provide a rich mathematical framework for planning under uncertainty by a group of agents. However, this modeling advantage comes wit...
Akshat Kumar, Shlomo Zilberstein