1804 search results - page 31 / 361 » On set systems with a threshold property |
152
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
111
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
102
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
Over the last few years rapid progress has been made in moving from conceptual studies, “whitepapers” and initiatives to the actual deployment of e-Government systems [13]. In...
101
click to vote
EDM
2009
14 years 11 months ago
2009
Researchers who make tutoring systems would like to know which sequences of educational content lead to the most effective learning by their students. The majority of data collecte...
119
click to vote
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...