8109 search results - page 237 / 1622 » A Model of Component-Based Programming |
153
Voted
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
197
click to vote
ACL
2012
13 years 8 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...
144
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
158
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
167
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...