6020 search results - page 432 / 1204 » A New Approach to Model Counting |
137
click to vote
IJAIT
2007
15 years 6 months ago
2007
: This work presents an original algorithmic model of some essential features of psychogenetic theory, as was proposed by J.Piaget. Specifically, we modeled some elements of cognit...
171
click to vote
TSE
2002
15 years 6 months ago
2002
This paper presents a new approach to software reliability modeling by grouping data into clusters of homogeneous failure intensities. This series of data clusters associated with...
208
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
184
click to vote
CVPR
2001
IEEE
16 years 9 months ago
2001
IEEE
There have been important recent advances in object recognition through the matching of invariant local image features. However, the existing approaches are based on matching to i...
168
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...