7167 search results - page 408 / 1434 » Answer Set Programming |
104
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The evaluation of eLearning success is an indispensable business requirement of education programs: the easy registration of `visits' to eLearning websites is, however, not s...
269
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
108
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
A tremendous amount of semi-structured data is available today on the web but is not necessarily in a form which is suitable for a user's tasks. For example, a website may sh...
139
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
115
Voted
IV
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...