Sciweavers

3680 search results - page 168 / 736
» cases 2010
Sort
View
ENTCS
2006
161views more  ENTCS 2006»
15 years 6 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten
ENTCS
2006
273views more  ENTCS 2006»
15 years 6 months ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
Alessandra Di Pierro, Herbert Wiklicky
ENVSOFT
2006
83views more  ENVSOFT 2006»
15 years 6 months ago
Object-oriented modeling approach to surface water quality management
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
Amin Elshorbagy, Lindell E. Ormsbee
ENVSOFT
2006
122views more  ENVSOFT 2006»
15 years 6 months ago
Automatic identification of oil spills on satellite images
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
Iphigenia Keramitsoglou, Constantinos Cartalis, Ch...
EOR
2006
77views more  EOR 2006»
15 years 6 months ago
A framework for ex ante project risk assessment based on absorptive capacity
This paper explores the applicability of the concepts of absorptive capacity and ``ba'' to ex ante project risk. We develop a hybrid framework to explain knowledge trans...
Michael J. Cuellar, Michael J. Gallivan