1127 search results - page 79 / 226 » Theory Extension in ACL2(r) |
100
Voted
LICS
2008
IEEE
15 years 7 months 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...
111
Voted
ICC
2007
IEEE
15 years 7 months 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 ...
137
click to vote
APN
2007
Springer
15 years 7 months 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 ...
COCO
2007
Springer
15 years 7 months 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...
91
Voted
ICALP
2007
Springer
15 years 7 months 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 ...