3868 search results - page 156 / 774 » Open Systems in TLA |
181
Voted
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
162
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—OPhone is an open source platform in intelligent terminal released by China Mobile. With the increase of various applications based on the platform, OPhone education is becoming...
179
Voted
ACL
2010
15 years 5 months ago
2010
Word sense disambiguation (WSD) systems based on supervised learning achieved the best performance in SensEval and SemEval workshops. However, there are few publicly available ope...
178
Voted
WSCG
2003
15 years 8 months ago
2003
In this paper we describe a basis for a system that is able to compute actual scientific and realistic visualization methods in parallel. It is capable to integrate easily in mod...
150
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, a generic approach to optimize the design of an actuated carrier for the DLR multi-arm surgical system is presented. The carrier is attached to the ceiling of th...