8874 search results - page 142 / 1775 » A New Implementation of Automath |
133
click to vote
CLEIEJ
2007
15 years 4 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...
155
Voted
COMPUTING
2004
15 years 3 months ago
2004
The presented image registration method uses a regularized gradient flow to correlate the intensities in two images. Thereby, an energy functional is successively minimized by des...
157
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
127
Voted
TKDE
1998
15 years 3 months ago
1998
—Existing methods for spatial joins require pre-existing spatial indices or other precomputation, but such approaches are inefficient and limited in generality. Operand data sets...
129
click to vote
TCSV
2002
15 years 3 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...