3885 search results - page 315 / 777 » Transformations for Write-All-with-Collision Model |
170
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Recently, we have implemented a computervision based horizon-tracking algorithm for flight stability and autonomy in Micro Air Vehicles (MAVs) [1]. Occasionally, this ...
165
Voted
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
188
click to vote
IADIS
2008
15 years 8 months ago
2008
Nowadays, data mining is based on low-level speci cations of the employed techniques typically bounded to a speci c analysis platform. Therefore, data mining lacks a modelling arc...
180
click to vote
SPLC
2008
15 years 8 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
187
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...