Sciweavers

908 search results - page 51 / 182
» Additional methods when using email for teaching
Sort
View
MOR
2008
81views more  MOR 2008»
15 years 4 months ago
Optimal Stopping of Linear Diffusions with Random Discounting
Abstract. We propose a new solution method for optimal stopping problems with random discounting for linear diffusions whose state space has a combination of natural, absorbing, or...
Savas Dayanik
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 2 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft
SOCO
2010
Springer
15 years 2 months ago
Automatic detection of trends in time-stamped sequences: an evolutionary approach
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
Lourdes Araujo, Juan Julián Merelo Guerv&oa...
INFSOF
2006
151views more  INFSOF 2006»
15 years 4 months ago
Prioritized interaction testing for pair-wise coverage with seeding and constraints
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
Renée C. Bryce, Charles J. Colbourn
ICCS
2007
Springer
15 years 10 months ago
Optimizing Surface Triangulation Via Near Isometry with Reference Meshes
Optimization of the mesh quality of surface triangulation is critical for advanced numerical simulations and is challenging under the constraints of error minimization and density ...
Xiangmin Jiao, Narasimha R. Bayyana, Hongyuan Zha