7225 search results - page 376 / 1445 » On the Computational Power of Biochemistry |
180
click to vote
PPSN
2004
Springer
16 years 6 days ago
2004
Springer
Adaptive multiagent algorithms based upon the behaviour of social insects are powerful decentralised systems capable of solving complex problems. The intelligence of such a system ...
180
click to vote
GI
1999
Springer
15 years 11 months ago
1999
Springer
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
276
click to vote
ASSISTIVE
1998
Springer
15 years 11 months ago
1998
Springer
Many people who use wheelchairs are unable to control a powered wheelchair with the standard joystick interface. A robotic wheelchair can provide users with driving assistance, tak...
177
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
130
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...