We began our analysis of computing research by defining a comprehensive classification system to cover CS, SE, and IS. The classification system and the rationale underlying it ca...
China's Natural Resources Database (CNRD) is a comprehensive database, developed to support the research on natural resources, social sustainable development and environmenta...
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
InBase, the Intein Database (http://www.neb.com/neb/ inteins.html ), is a comprehensive on-line resource that includes the Intein Registry. Inteins are protein splicing elements t...
Analysis of a comprehensive set of features extracted from blogs for prediction of movie sales is presented. We use correlation, clustering and time-series analysis to study which...
Eldar Sadikov, Aditya G. Parameswaran, Petros Vene...