1127 search results - page 79 / 226 » Theory Extension in ACL2(r) |
156
click to vote
LICS
2008
IEEE
16 years 18 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
165
click to vote
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
— In this paper, we consider the problem of scheduling sensor activity to maximize network lifetime while maintaining both discrete targets coverage and network connectivity. We ...
198
click to vote
APN
2007
Springer
16 years 11 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
151
click to vote
COCO
2007
Springer
16 years 11 days ago
2007
Springer
We study the link between the complexity of a polynomial and that of its coefficient functions. Valiant’s theory is a good setting for this, and we start by generalizing one of V...
148
click to vote
ICALP
2007
Springer
16 years 11 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...