3926 search results - page 605 / 786 » A Logic of Object-Oriented Programs |
154
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
155
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
149
click to vote
IJFCS
2006
15 years 5 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
141
click to vote
CACM
2010
15 years 2 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
167
click to vote
ICML
2007
IEEE
16 years 6 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...