581 search results - page 57 / 117 » Abstract Semantics by Observable Contexts |
JLP
2007
14 years 9 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper deals with nonlinear dual mode adaptive control of a redundant manipulator for a pick-andplace scenario with high acceleration (20G). For performance compari...
JCP
2007
14 years 9 months ago
2007
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
SIGIR
2002
ACM
14 years 9 months ago
2002
ACM
asks abstracted from observation of typical search tasks performed by 48 participants using a modified Google interface. Kelly and Belkin defined context of search more broadly tha...
ECTEL
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present basic concepts and an outlook on current approaches and techniques of personal learning environments to point out their demands, focussing on recommendations i...