808 search results - page 144 / 162 » What Is Answer Set Programming |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
KDD
2012
ACM
11 years 11 months ago
2012
ACM
The communities of a social network are sets of vertices with more connections inside the set than outside. We theoretically demonstrate that two commonly observed properties of s...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Much of what we know about how programmers refactor in the wild is based on studies that examine just a few software projects. Researchers have rarely taken the time to replicate ...
CP
2009
Springer
14 years 9 months ago
2009
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
In a reinforcing cycle, few females create games and fewer girls than boys play games. In this paper, we increase our understanding of what girls like about games and gaming by de...