Sciweavers

3381 search results - page 41 / 677
» Extending Dependencies with Conditions
Sort
View
MP
2011
14 years 7 months ago
Strong KKT conditions and weak sharp solutions in convex-composite optimization
Using variational analysis techniques, we study convex-composite optimization problems. In connection with such a problem, we introduce several new notions as variances of the clas...
Xi Yin Zheng, Kung Fu Ng
GMP
2010
IEEE
190views Solid Modeling» more  GMP 2010»
15 years 8 months ago
Construction of Subdivision Surfaces by Fourth-Order Geometric Flows with G1 Boundary Conditions
In this paper, we present a method for constructing Loop’s subdivision surface patches with given G1 boundary conditions and a given topology of control polygon of the subdivisi...
Guoliang Xu, Qing Pan
JFP
2007
104views more  JFP 2007»
15 years 4 months ago
Understanding functional dependencies via constraint handling rules
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
Martin Sulzmann, Gregory J. Duck, Simon L. Peyton ...
AAAI
2011
14 years 4 months ago
Mean Field Inference in Dependency Networks: An Empirical Study
Dependency networks are a compelling alternative to Bayesian networks for learning joint probability distributions from data and using them to compute probabilities. A dependency ...
Daniel Lowd, Arash Shamaei
ICSE
2011
IEEE-ACM
14 years 8 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...