6020 search results - page 85 / 1204 » A New Approach to Model Counting |
137
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
116
click to vote
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
109
click to vote
CG
2004
Springer
15 years 3 months ago
2004
Springer
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...
143
click to vote
IJCAI
2007
15 years 5 months ago
2007
Evaluation measures play an important role in machine learning because they are used not only to compare different learning algorithms, but also often as goals to optimize in cons...
104
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
Conventional approach to mathematical description of experiments applies probability theory. Here, another approach is used to express uncertainty based on probability, fuzzy sets...