Sciweavers

3333 search results - page 264 / 667
» New Invariants for Groups
Sort
View
SEMWEB
2009
Springer
15 years 7 months ago
A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
Michael Schneider, Kai Mainzer
113
Voted
CSSE
2008
IEEE
15 years 7 months ago
The Relation of Version Control to Concurrent Programming
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
Annette Bieniusa, Peter Thiemann, Stefan Wehr
77
Voted
IROS
2007
IEEE
143views Robotics» more  IROS 2007»
15 years 7 months ago
Target tracking control with limited communication and steering dynamics
Abstract— This paper presents a study which extends previous work on collective motion control of a group of vehicles for target tracking. The approach is to drive the group cent...
Anawat Pongpunwattana, Benjamin I. Triplett, Krist...
87
Voted
HICSS
2006
IEEE
147views Biometrics» more  HICSS 2006»
15 years 6 months ago
An Agent-Based Optimal Bidding Function
Problems such as price volatility have been observed in electric power markets. Demand-side participation is often offered as a potential solution by promising to increase market ...
HyungSeon Oh, Robert J. Thomas
90
Voted
IROS
2006
IEEE
139views Robotics» more  IROS 2006»
15 years 6 months ago
Motion Synchronization in Mobile Robot Networks: Robustness
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...
Fei Zhang, Weidong Chen, Yugeng Xi