563 search results - page 27 / 113 » A Typing Scheme for Behavioural Models |
DALT
2010
Springer
13 years 3 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
RA
2003
13 years 10 months ago
2003
In this paper, we describe a parallel solution scheme of inverse dynamics, and its application to flexible manipulators where elastic deformation and vibration normally occur in c...
HSNMC
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we describe a hybrid sender and receiver-based adaptation scheme for multicast transmission of multimedia data using layered encoding, which we call SRAMT-LE (Sender-...
PATMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...