Social bookmark services like del.icio.us enable easy annotation for users to organize their resources. Collaborative tagging provides useful index for information retrieval. Howev...
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xi...
Traditionally nonrecombinant genome, i.e., mtDNA or Y chromosome, has been used for phylogeography, notably for ease of analysis. The topology of the phylogeny structure in this c...
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
How to enhance interoperability between stakeholders and improve efficiency of supply chain management is the key issue that needs to be addressed in automobile industry. Existing ...