2060 search results - page 186 / 412 » Some Applications of Coding Theory in Computational Complexi... |
HPDC
1999
IEEE
15 years 2 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
104
click to vote
SPIESR
1997
14 years 11 months ago
1997
The development of increasingly complex multimedia applications calls for new methodologies for the organization and retrieval of still images and video sequences. Query and retri...
NCA
2006
IEEE
15 years 4 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
104
click to vote
ETVC
2008
14 years 12 months ago
2008
Intrinsic curvature flows can be used to design Riemannian metrics by prescribed curvatures. This chapter presents three discrete curvature flow methods that are recently introduce...
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...