579 search results - page 77 / 116 » Constraint Validation in Model Compilers |
TMI
2010
13 years 6 months ago
2010
Abstract—Interpolation is the means by which a continuouslydefined model is fit to discrete data samples. When the data samples are exempt of noise, it seems desirable to build...
ATVA
2010
Springer
13 years 6 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
AVSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a novel auto-calibration method from unconstrained human body motion. It relies on the underlying biomechanical constraints associated with human bipedal locom...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Many sensor networks (SN) use in-network aggregation to minimize the amount of data transmitted by sensors. Unfortunately, aggregation makes the network more vulnerable...