Sciweavers

561 search results - page 28 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
NN
2006
Springer
163views Neural Networks» more  NN 2006»
14 years 10 months ago
Machine learning approaches for estimation of prediction interval for the model output
A novel method for estimating prediction uncertainty using machine learning techniques is presented. Uncertainty is expressed in the form of the two quantiles (constituting the pr...
Durga L. Shrestha, Dimitri P. Solomatine
ICPR
2008
IEEE
15 years 11 months ago
Geometric constraints on 2D action models for tracking human body
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
Alexei Gritai, Arslan Basharat, Mubarak Shah
CCS
2010
ACM
14 years 9 months ago
TAPS: automatically preparing safe SQL queries
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
ER
2007
Springer
88views Database» more  ER 2007»
15 years 4 months ago
Teaching a Schema Translator to Produce O/R Views
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
Peter Mork, Philip A. Bernstein, Sergey Melnik
JSS
2002
101views more  JSS 2002»
14 years 9 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai