1515 search results - page 84 / 303 » On the relation of aspects and monads |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper discusses several aspects related to the consistency and stability of the discrete adjoints of upwind numerical schemes. First and third order upwind discretiz...
WAW
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we study the size of generalised dominating sets in two graph processes which are widely used to model aspects of the world-wide web. On the one hand, we show that gr...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— This paper addresses the problem of impedance control for flexible joint robots based on a singular perturbation approach. Some aspects of the impedance controller, which turn...
AC
2003
Springer
14 years 1 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
CSCLP
2003
Springer
14 years 29 days ago
2003
Springer
Many real-life constraints describing relations between the problem variables have complex semantics and the constraint domain is defined using a table of compatible tuples rather ...