6978 search results - page 1228 / 1396 » On Proofs in System P |
ICPPW
2009
IEEE
14 years 3 months ago
2009
IEEE
A significant fraction of parallel scientific codes are iterative with barriers between iterations or even between phases of the same iteration. The sender of a message is assur...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper we present a new approach for labeling 3D points with different geometric surface primitives using a novel feature descriptor – the Fast Point Feature Histogram...
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
Process Mining is a technology for extracting non-trivial and useful information from execution logs. For example, there are many process mining techniques to automatically discove...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
We present a general methodology to automate the search for equilibrium strategies in games derived from computational experimentation. Our approach interleaves empirical game-the...