Sciweavers

16218 search results - page 392 / 3244
» Standards
Sort
View
ROBOCUP
2009
Springer
131views Robotics» more  ROBOCUP 2009»
16 years 1 months ago
Three Humanoid Soccer Platforms: Comparison and Synthesis
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...
RV
2009
Springer
94views Hardware» more  RV 2009»
16 years 1 months ago
Monitor Circuits for LTL with Bounded and Unbounded Future
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...
Bernd Finkbeiner, Lars Kuhtz
SIGIR
2009
ACM
16 years 1 months ago
A comparison of retrieval-based hierarchical clustering approaches to person name disambiguation
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...
Christof Monz, Wouter Weerkamp
BMEI
2008
IEEE
16 years 1 months ago
Reenginering Clinical Research Teams: An Organizational Modeling Approach
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 ...
CDC
2008
IEEE
118views Control Systems» more  CDC 2008»
16 years 1 months ago
Congestion control for small queues: Analysis and evaluation of a new protocol
— 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...
Niels Möller, Karl Henrik Johansson