1358 search results - page 9 / 272 » Semantic Group Formation |
JCSS
2000
13 years 8 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
With currently available tools and languages, translating between an existing XML format and RDF is a tedious and error-prone task. The importance of this problem is acknowledged b...
LREC
2010
13 years 10 months ago
2010
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
—The goal of a robot formation control architecture is to get a number of robots into a specified form. To be effective and practical, the control architecture must be able to tr...