8874 search results - page 201 / 1775 » A New Implementation of Automath |
116
click to vote
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...
147
click to vote
DFT
1997
IEEE
15 years 8 months ago
1997
IEEE
Recent increases in the density and size of memory ICs made it ne cessary to search for new defect tolerance techniques since the traditional methods are no longer e ective enough...
133
click to vote
SIGCSE
1996
ACM
15 years 8 months ago
1996
ACM
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
103
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
154
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a theoretical and experimental study on the limitations of copy-on-write snapshots and incremental backups in terms of data recoverability. We provide mathemat...