Sciweavers

255 search results - page 7 / 51
» Variability Models Must Not be Invariant!
Sort
View
73
Voted
AUTOMATICA
2006
63views more  AUTOMATICA 2006»
14 years 9 months ago
Inference of disjoint linear and nonlinear sub-domains of a nonlinear mapping
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
Douglas J. Leith, William E. Leithead, Roderick Mu...
DGO
2008
131views Education» more  DGO 2008»
14 years 11 months ago
A domain-specific language for urban simulation variables
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
Alan Borning, Hana Sevcikova, Paul Waddell
TMI
2011
130views more  TMI 2011»
14 years 4 months ago
Parameterization-Invariant Shape Comparisons of Anatomical Surfaces
—We consider 3D brain structures as continuous parameterized surfaces and present a metric for their comparisons that is invariant to the way they are parameterized. Past compari...
Sebastian Kurtek, Eric Klassen, Zhaohua Ding, Sand...
83
Voted
ISSTA
2010
ACM
14 years 11 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
TITS
2011
247views more  TITS 2011»
14 years 4 months ago
Road Detection Based on Illuminant Invariance
—By using an onboard camera, it is possible to detect the free road surface ahead of the ego-vehicle. Road detection is of high relevance for autonomous driving, road departure w...
José M. Álvarez, Antonio M. Lopez