4211 search results - page 812 / 843 » Types as Abstract Interpretations |
AFPAC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
ANTS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Essentially all subexponential time algorithms for the discrete logarithm problem over nite elds are based on the index calculus idea. In proposing cryptosystems based on...
CG
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...
CIKM
2000
Springer
14 years 1 months ago
2000
Springer
Large collections of documents containing various types of multimedia, are made available to the WWW. Unfortunately, due to the un-structuredness of Internet environments it is ha...
29
Voted
DEXA
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Bitmap indices are popular multi-dimensional data structures for accessing read-mostly data such as data warehouse (DW) applications, decision support systems (DSS) and o...