Professor Raúl Rojas has published a book about how symbols have been used throughout history in mathematics. The work was ...

Abstract: In this paper, we use the combination of graph theory and consensus algorithm to realize the formation control of nonholonomic wheeled robots. A novel edge-weight function is designed so ...

Abstract: API recommendation methods have evolved from literal and semantic keyword matching to query expansion and query clarification. The latest query clarification method is knowledge graph ...