7167 search results - page 279 / 1434 » Answer Set Programming |
130
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
150
click to vote
FMOODS
2008
15 years 4 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
134
Voted
ISCIS
2009
Springer
15 years 9 months ago
2009
Springer
—We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a function...
104
click to vote
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
We believe it is unreasonable to assume that all students will own a laptop. One potential solution is to depend on the students to bring whatever computing devices (cell phones, ...
111
Voted
AAAI
2007
15 years 4 months ago
2007
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...