Sciweavers

584 search results - page 60 / 117
» On Applying Set Covering Models to Test Set Compaction
Sort
View
TSE
2010
151views more  TSE 2010»
13 years 6 months ago
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
George K. Baah, Andy Podgurski, Mary Jean Harrold
PODS
2003
ACM
114views Database» more  PODS 2003»
14 years 7 months ago
An information-theoretic approach to normal forms for relational and XML data
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
Marcelo Arenas, Leonid Libkin
TEC
2002
120views more  TEC 2002»
13 years 7 months ago
Optimization based on bacterial chemotaxis
We present an optimization algorithm based on a model of bacterial chemotaxis. The original biological model is used to formulate a simple optimization algorithm, which is evaluate...
Sibylle D. Müller, Jarno Marchetto, Stefano A...
LSSC
2007
Springer
14 years 1 months ago
Bridging Methods for Coupling Atomistic and Continuum Models
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
Santiago Badia, Pavel B. Bochev, Max Gunzburger, R...
ACII
2005
Springer
14 years 1 months ago
Using an Avatar to Develop a System for the Predication of Human Body Pose from Moments
Tracking people using movie sequences is not straightforward because of the human body's articulation and the complexity of a person's movements. In this paper we show ho...
Song Hu, Bernard F. Buxton