2598 search results - page 398 / 520 » The Abstract Immune System Algorithm |
89
Voted
AAMAS
2007
Springer
15 years 23 days ago
2007
Springer
Abstract – Despite increasing deployment of agent technologies in several business and industry domains, user confidence in fully automated agent driven applications is noticeab...
91
Voted
JSAC
2006
15 years 18 days ago
2006
Abstract--Although the capacity of multiple-input/multipleoutput (MIMO) broadcast channels (BCs) can be achieved by dirty paper coding (DPC), it is difficult to implement in practi...
SIAMSC
2008
15 years 17 days ago
2008
Abstract. We propose and study a block-iterative projections method for solving linear equations and/or inequalities. The method allows diagonal component-wise relaxation in conjun...
110
Voted
AAECC
2005
Springer
15 years 16 days ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
111
click to vote
ASE
2005
15 years 16 days ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...