1569 search results - page 133 / 314 » Programming contest strategy |
105
click to vote
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
ASSETS
2004
ACM
15 years 6 months ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
96
Voted
ENTCS
2010
15 years 20 days ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
91
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
113
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...