2266 search results - page 437 / 454 » How Not to Evaluate a Developmental System |
141
Voted
ATAL
2009
Springer
16 years 12 days ago
2009
Springer
As agents begin to perform complex tasks alongside humans as collaborative teammates, it becomes crucial that the resulting humanmultiagent teams adapt to time-critical domains. I...
171
click to vote
IWMM
2009
Springer
16 years 11 days ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
161
click to vote
SPIN
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
145
click to vote
SIGCOMM
2009
ACM
16 years 9 days ago
2009
ACM
The demand for wireless bandwidth in indoor environments such as homes and offices continues to increase rapidly. Although wireless technologies such as MIMO can reach link throug...
140
click to vote
ICC
2008
IEEE
16 years 7 days ago
2008
IEEE
— In recent years, many high-speed congestion control (HSCC) algorithms have been proposed for utilizing network pipes with huge bandwidth-delay product (BDP), and some of them h...