Sciweavers

1026 search results - page 137 / 206
» Semantic Components for Timetabling
Sort
View
97
Voted
CL
2006
Springer
15 years 2 months ago
Runtime bytecode transformation for Smalltalk
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
Marcus Denker, Stéphane Ducasse, Éri...
129
Voted
JOLLI
2006
123views more  JOLLI 2006»
15 years 2 months ago
Cut and Pay
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
Marcelo Finger, Dov M. Gabbay
134
Voted
PAMI
2006
183views more  PAMI 2006»
15 years 2 months ago
A Model-Based Approach for Estimating Human 3D Poses in Static Images
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
Mun Wai Lee, Isaac Cohen
138
Voted
TC
2002
15 years 2 months ago
Support for Recovery in Mobile Systems
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
Cris Pedregal Martin, Krithi Ramamritham
129
Voted
IPPS
2010
IEEE
15 years 15 days ago
Consistency in hindsight: A fully decentralized STM algorithm
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...
Annette Bieniusa, Thomas Fuhrmann