1255 search results - page 201 / 251 » A Proof Environment for the Development of Group Communicati... |
ICCAD
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
This paper presents a critical view of existing models of user experience. These models view experience as the subjective response in the individual's mind. While designers a...
CMMR
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a multiple-agent architecture created in Max/ MSP that generates polyphonic rhythmic patterns which continuously evolve and develop in a musically intelligent m...
IAT
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
ISAAC
1995
Springer
13 years 11 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...