1791 search results - page 42 / 359 » Two Types of Multiple-Conclusion Systems |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper proposes power assist controllers that realize control input minimization using resonance of passive elements. To satisfy the objective, two types of systems are con...
ERLANG
2003
ACM
14 years 27 days ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
COOPIS
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper, we propose an approach for guiding ontology managers through the modification of an ontology with respect to users' needs. It is based on the analysis of end-u...
COMPSYSTECH
2009
13 years 5 months ago
2009
: The paper investigates first the role of artifacts in a cooperative work environment. It shows the different types of artifacts used in work groups. Then, it stresses the charact...
POS
1994
Springer
13 years 11 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...