Sciweavers

14244 search results - page 559 / 2849
» Modeling Program Predictability
Sort
View
ECCV
2006
Springer
15 years 10 months ago
Articulated-Body Tracking Through Anisotropic Edge Detection
This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on both an explicit parameterization of the extremal contours...
David Knossow, Joost van de Weijer, Radu Horaud, R...
IJCAI
2007
15 years 7 months ago
Learning User Clicks in Web Search
Machine learning for predicting user clicks in Webbased search offers automated explanation of user activity. We address click prediction in the Web search scenario by introducing...
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, H...
FSEN
2007
Springer
15 years 8 months ago
Relationships Meet Their Roles in Object Oriented Programming
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
Matteo Baldoni, Guido Boella, Leendert van der Tor...
CONCUR
2008
Springer
15 years 8 months ago
A Model of Dynamic Separation for Transactional Memory
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
Martín Abadi, Tim Harris, Katherine F. Moor...
DALT
2007
Springer
16 years 17 days ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck