In this article, we provide an overview of three humanoid soccer platforms currently in use at RoboCup: 3D simulation, the humanoid Standard Platform League (SPL), and the Webots-b...
Shivaram Kalyanakrishnan, Todd Hester, Michael Qui...
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
This paper describes a simple clustering approach to person name disambiguation of retrieved documents. The methods are based on standard IR concepts and do not require any task-s...
In this study, simulation models were developed to explore the effects of decentralization and interdependence on individuals working in research groups. We conducted the study by...
Elias Cesar Araujo De Carvalho, Jatin Shah, Anand ...
— A new congestion control protocol is presented, analyzed and experimentally evaluated. It consists of the standard inner-loop ACK-clock and a novel outer-loop adjusting the win...