3926 search results - page 606 / 786 » A Logic of Object-Oriented Programs |
133
click to vote
ICML
2004
IEEE
16 years 6 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
170
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
143
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
218
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...
165
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...