4903 search results - page 806 / 981 » The Set Covering Machine |
IROS
2009
IEEE
2009
IEEE
Human Robot interaction studies on laban human movement analysis and dynamic background segmentation
14 years 4 months ago
— Human movement analysis through vision sensing systems is an important subject regarding Human-Robot interaction. This is a growing area of research, with wide range of aplicat...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
ARCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
CIKM
2009
Springer
14 years 4 months ago
2009
Springer
Emergence of the web and online computing applications gave rise to rich large scale social activity data. One of the principal challenges then is to build models and understandin...
EUROGP
2009
Springer
14 years 4 months ago
2009
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...