7167 search results - page 465 / 1434 » Answer Set Programming |
231
click to vote
ITICSE
2005
ACM
16 years 1 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
204
click to vote
LOPSTR
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
208
Voted
ATAL
2003
Springer
16 years 19 days ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
234
click to vote
CLOUD
2010
ACM
16 years 15 days ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
205
Voted
PLDI
2010
ACM
16 years 15 days ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...