Sciweavers

4835 search results - page 586 / 967
» Refactoring Functional Programs
Sort
View
191
Voted
ECCV
2010
Springer
16 years 14 days ago
MRF Inference by k-Fan Decomposition and Tight Lagrangian Relaxation
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...
ICSM
2002
IEEE
16 years 11 days ago
A Case Study of Unanticipated Incremental Change
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
Václav Rajlich, Prashant Gosavi
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
16 years 4 days ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...
154
Voted
ICCS
2001
Springer
15 years 12 months ago
Discrete Local Fairing of B-Spline Surfaces
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
Seok-Yong Hong, Chung-Seong Hong, Hyun-Chan Lee, K...
ACSAC
2000
IEEE
15 years 12 months ago
Two State-based Approaches to Program-based Anomaly Detection
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
Christoph C. Michael, Anup K. Ghosh