Sciweavers

3381 search results - page 41 / 677
» Extending Dependencies with Conditions
Sort
View
112
Voted
MP
2011
14 years 3 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 4 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 13 days 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 17 days 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 4 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,...