1477 search results - page 16 / 296 » What's the point of documentation |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
NIPS
2007
13 years 9 months ago
2007
Point-based algorithms have been surprisingly successful in computing approximately optimal solutions for partially observable Markov decision processes (POMDPs) in high dimension...
ISAAC
2005
Springer
14 years 1 months ago
2005
Springer
Let S be a set of points in the plane. What is the minimum possible dilation of all plane graphs that contain S? Even for a set S as simple as five points evenly placed on the ci...
GREC
2009
Springer
13 years 11 months ago
2009
Springer
This paper tries to sum up the discussions held during the sessions of GREC’09, as well as at the final panel session. As it is always good to know where you are coming from, th...
ADVCS
2010
13 years 8 months ago
2010
This paper reports the results of a multi-agent simulation designed to study the emergence and evolution of symbolic communication. The novelty of this model is that it considers s...