3595 search results - page 141 / 719 » Roles of Program Extension |
171
click to vote
SCAM
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
162
click to vote
FSTTCS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
202
click to vote
PADL
2004
Springer
16 years 7 days ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
192
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
191
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...