Sciweavers

396 search results - page 29 / 80
» Argument Controlled Profiling
Sort
View
SIAMCO
2011
12 years 10 months ago
Weak Dynamic Programming Principle for Viscosity Solutions
Abstract. We prove a weak version of the dynamic programming principle for standard stochastic control problems and mixed control-stopping problems, which avoids the technical diļ¬...
Bruno Bouchard, Nizar Touzi
FM
1999
Springer
126views Formal Methods» more  FM 1999»
14 years 1 days ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
ALIFE
2008
13 years 7 months ago
Natural or Internal Selection? The Case of Canalization in Complex Evolutionary Systems
Using biological examples and theoretical arguments, the case is presented for extending the notion of natural selection to include internal selection in order to account for the e...
Alexander Riegler
SIAMNUM
2011
90views more  SIAMNUM 2011»
13 years 2 months ago
Analysis for Time Discrete Approximations of Blow-up Solutions of Semilinear Parabolic Equations
We prove a posteriori error estimates for time discrete approximations, for semilinear parabolic equations with solutions that might blow-up in ļ¬nite time. In particular we consi...
Irene Kyza, Charalambos Makridakis
RECSYS
2009
ACM
14 years 2 months ago
Conceptual recommender system for CiteSeerX
Short search engine queries do not provide contextual information, making it difficult for traditional search engines to understand what users are really requesting. One approach ...
Ajith Kodakateri Pudhiyaveetil, Susan Gauch, Hiep ...