 |
|
|
|
 Trends in Functional Programming: 11th International Symposium, TFP 2010
The 11th Symposium on Trends in Functional Programming took place on the
University of Oklahoma campus in Norman, Oklahoma, May 17-19, 2010. The
program included presentations of 26 papers submitted by researchers from six
nations and an invited talk by J. Strother Moore on machine reasoning so well
received that the question/answer... |  |  Speech Processing and Soft Computing
Soft Computing (SC) techniques have been recognized nowadays as attractive
solutions for modeling highly nonlinear or partially defined complex systems
and processes. These techniques resemble biological processes more closely than
conventional (more formal) techniques. However, despite its increasing popularity,
soft computing lacks... |  |  Specification and Verification of Multi-agent Systems
In the last decade, multi-agent systems have both become widely applied and also
increasingly complex. The applications include the use of agents as automous decision
makers in often safety-critical, dangerous, or high impact scenarios (traffic
control, autonomous satellites, computational markets). The complexity arises from
the fact... |
|
|
Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 |