1128 search results - page 104 / 226 » Little Engines of Proof |
CMMR
2007
Springer
15 years 4 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...
ISORC
2006
IEEE
15 years 3 months ago
2006
IEEE
The increasing complexity of mobile phones directly affects their reliability, while the user tolerance for failures becomes to decrease, especially when the phone is used for bus...
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
MANET environments suffer from changing connectivity conditions and radio contention among stations that conform it. Despite the several on-going endeavors, no simple and effectiv...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
102
click to vote
IVA
2005
Springer
15 years 3 months ago
2005
Springer
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...