6020 search results - page 213 / 1204 » A New Approach to Model Counting |
132
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
140
Voted
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
132
click to vote
UAI
1996
15 years 6 months ago
1996
We propose a decision-analytical approach to comparing the flexibility of decision situations from the perspective of a decisionmaker who exhibits constant risk-aversion over a mo...
173
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
171
Voted
IEAAIE
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...