Sciweavers

448 search results - page 66 / 90
» Obstacle avoidance in formation
Sort
View
SOSE
2008
IEEE
15 years 8 months ago
A Gateway Design for Message Passing on the SOA Healthcare Platform
Various security and privacy issues have emerged from the SOA healthcare platform. Large amounts of personal data are transmitted daily through the SOA healthcare platform. For se...
Chi-Lu Yang, Yeim-Kuan Chang, Chih-Ping Chu
IROS
2007
IEEE
176views Robotics» more  IROS 2007»
15 years 8 months ago
Controlling a team of ground robots via an aerial robot
— We consider the task of controlling a large team of nonholonomic ground robots with an unmanned aerial vehicle in a decentralized manner that is invariant to the number of grou...
Nathan Michael, Jonathan Fink, Vijay Kumar
FORMATS
2006
Springer
15 years 5 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu
PATAT
2000
Springer
89views Education» more  PATAT 2000»
15 years 5 months ago
A Language for Specifying Complete Timetabling Problems
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
Luís Paulo Reis, Eugenio Oliveira
DOCENG
2008
ACM
15 years 3 months ago
Merging changes in XML documents using reliable context fingerprints
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
Sebastian Rönnau, Christian Pauli, Uwe M. Bor...