1127 search results - page 134 / 226 » Theory Extension in ACL2(r) |
166
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Advances in the creation of computational materials are transforming our thinking about relations between the physical and digital. In this paper we characterize this transformati...
169
click to vote
P2P
2007
IEEE
16 years 17 days ago
2007
IEEE
Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher ...
163
click to vote
ER
2007
Springer
16 years 16 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
182
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
177
click to vote
MEMOCODE
2006
IEEE
16 years 11 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...