12084 search results - page 2247 / 2417 » Effect Systems with Subtyping |
235
click to vote
LOGCOM
2011
14 years 10 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
238
click to vote
SIGIR
2011
ACM
14 years 10 months ago
2011
ACM
Entities on social systems, such as users on Twitter, and images on Flickr, are at the core of many interesting applications: they can be ranked in search results, recommended to ...
222
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
240
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Aggressive technology scaling causes chip multiprocessors increasingly error-prone. Core-level faulttolerant approaches bind two cores to implement redundant execution and error...
250
click to vote
HIPEAC
2011
Springer
14 years 6 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...