1742 search results - page 261 / 349 » An Applicative Module Calculus |
TELSYS
2002
13 years 8 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
TSMC
2002
13 years 8 months ago
2002
Automata models of learning systems introduced in the 1960s were popularized as learning automata (LA) in a survey paper in 1974 [1]. Since then, there have been many fundamental a...
KES
2010
Springer
13 years 7 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...
TWC
2010
13 years 3 months ago
2010
Underwater multimedia acoustic sensor networks will enable new underwater applications such as multimedia coastal and tactical surveillance, undersea explorations, picture and vide...
ICASSP
2011
IEEE
13 years 28 days ago
2011
IEEE
Modern music production often uses pre-recorded pieces of audio, so-called samples, taken from a huge sample database. Consequently, there is an increasing demand to extensively a...