Sciweavers

5409 search results - page 251 / 1082
» Basic Observables for Processes
Sort
View
CICLING
2003
Springer
15 years 12 months ago
Starting with Complex Primitives Pays Off
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
Aravind K. Joshi
ICIP
2006
IEEE
16 years 8 months ago
Parameter Estimation in Bayesian Reconstruction of Multispectral Images using Super Resolution Techniques
In this paper we present a new super resolution Bayesian method for pansharpening of multispectral images which: a) incorporates prior knowledge on the expected characteristics of...
Rafael Molina, Miguel Vega, Javier Mateos, Aggelos...
ICIP
2001
IEEE
16 years 8 months ago
Adaptive suppression of RFI and its effect on radio-astronomical image formation
Radio-astronomical observations are increasingly contaminated by interference, and suppression techniques become essential. A powerful candidate for interference mitigation is ada...
Amir Leshem, Alle-Jan van der Veen
CALCO
2005
Springer
97views Mathematics» more  CALCO 2005»
16 years 5 days ago
Modelling Fusion Calculus using HD-Automata
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, ...
ICNC
2005
Springer
16 years 4 days ago
Modeling Human Learning as Context Dependent Knowledge Utility Optimization
Abstract. Humans have the ability to flexibly adjust their information processing strategy according to situational characteristics. However, such ability has been largely overloo...
Toshihiko Matsuka