4205 search results - page 25 / 841 » Typed Mobile Objects |
109
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...
112
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
128
Voted
MST
2008
15 years 1 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
JISE
2007
15 years 1 months ago
2007
stems. Three layers of control abstraction for formation control are formation shape, reference type, and robotic control. Reference types play an important role in formation contr...
104
click to vote
LEGE
2004
15 years 3 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...