Sciweavers

1981 search results - page 260 / 397
» The State of Change: A Survey
Sort
View
ENVSOFT
2008
120views more  ENVSOFT 2008»
15 years 6 months ago
Extension and evaluation of sensitivity analysis capabilities in a photochemical model
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
S. L. Napelenok, D. S. Cohan, M. T. Odman, S. Tons...
ENTCS
2007
144views more  ENTCS 2007»
15 years 6 months ago
Partial Order Reduction for Rewriting Semantics of Programming Languages
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
Azadeh Farzan, José Meseguer
ANOR
2005
128views more  ANOR 2005»
15 years 6 months ago
Expectation-Stock Dynamics in Multi-Agent Fisheries
In this paper we consider a game-theoretic dynamic model describing the exploitation of a renewable resource. Our model is based on a Cournot oligopoly game where n profit-maximizi...
Gian Italo Bischi, Michael Kopel, Ferenc Szidarovs...
IVC
2007
188views more  IVC 2007»
15 years 6 months ago
Integration of deformable contours and a multiple hypotheses Fisher color model for robust tracking in varying illuminant enviro
In this paper, we propose a new technique to perform figure-ground segmentation in image sequences of moving objects under varying illumination conditions. Unlike most of the alg...
Francesc Moreno-Noguer, Alberto Sanfeliu, Dimitris...
CN
2000
76views more  CN 2000»
15 years 6 months ago
Supporting reconfigurable security policies for mobile programs
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
Brant Hashii, Scott Malabarba, Raju Pandey, Matt B...