1127 search results - page 35 / 226 » Theory Extension in ACL2(r) |
93
Voted
IPL
2010
14 years 11 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
92
Voted
DAM
2006
15 years 22 days ago
2006
Sub-dominant theory provides efficient tools for clustering. However it classically works only for ultrametrics and ad hoc extensions like Jardine and Sibson's 2ultrametrics....
97
Voted
SIGOPS
2008
15 years 18 days ago
2008
Self-managing storage systems have recently received attention from the research community due to their promised ability of continuously adapting to best reflect high-level system...
131
click to vote
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...