6020 search results - page 22 / 1204 » A New Approach to Model Counting |
135
Voted
ICALT
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
118
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...
122
Voted
TNN
2010
14 years 10 months ago
2010
This paper presents a new approach for identifying and validating the F/A-18 aeroservoelastic model, based on flight flutter tests. The neural network (NN), trained with five diffe...
113
Voted
WSC
2008
15 years 6 months ago
2008
Understanding how the structure of a network evolves over time is one of the most interesting and complex topics in the field of social networks. In our attempt to model the dynam...
120
Voted
GEOINFORMATICA
2006
15 years 3 months ago
2006
In this paper a new method for the combination of 2D GIS vector data and 2.5D DTM represented by triangulated irregular networks (TIN) to derive integrated triangular 2.5D object-b...