Sciweavers

4047 search results - page 193 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
SIAMJO
2008
74views more  SIAMJO 2008»
15 years 6 months ago
Lagrangian-Dual Functions and Moreau--Yosida Regularization
In this paper, we consider the Lagrangian dual problem of a class of convex optimization problems. We first discuss the semismoothness of the Lagrangian-dual function . This prope...
Fanwen Meng, Gongyun Zhao, Mark Goh, Robert de Sou...
CALCO
2007
Springer
100views Mathematics» more  CALCO 2007»
16 years 16 days ago
Applications of Metric Coinduction
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
Dexter Kozen, Nicholas Ruozzi
COSIT
2001
Springer
186views GIS» more  COSIT 2001»
15 years 11 months ago
Computational Structure in Three-Valued Nearness Relations
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
Matt Duckham, Michael F. Worboys
APN
2000
Springer
15 years 10 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
DM
2008
56views more  DM 2008»
15 years 6 months ago
Point-weight designs with design conditions on t points
This paper examines some of the properties of point-weight incidence structures, i.e. incidence structures for which every point is assigned a positive integer weight. In particul...
Alexander W. Dent