400 search results - page 39 / 80 » What Makes a Problem GP-Hard |
151
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
121
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Privacy is often cited as the main reason to adopt a multiagent approach for a certain problem. This also holds true for multiagent planning. Still, papers on multiagent planning ...
152
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...
132
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...
144
click to vote
MOBICOM
1997
ACM
15 years 8 months ago
1997
ACM
With the increasing popularity of portable wireless computers, mechanisms to efficiently transmit information to such clients are of significant interest. The environmentundercons...