6020 search results - page 22 / 1204 » A New Approach to Model Counting |
119
Voted
ICALT
2010
IEEE
14 years 12 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...
105
click to vote
DATE
2008
IEEE
15 years 8 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...
107
Voted
TNN
2010
14 years 8 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...
WSC
2008
15 years 4 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...
105
click to vote
GEOINFORMATICA
2006
15 years 1 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...