Sciweavers

2583 search results - page 246 / 517
» On the Representation of Timed Polyhedra
Sort
View
EUROPAR
2008
Springer
15 years 8 months ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
Manuel Arenaz, Pedro Amoedo, Juan Touriño
AAAI
2010
15 years 8 months ago
Coalitional Structure Generation in Skill Games
We consider optimizing the coalition structure in Coalitional Skill Games (CSGs), a succinct representation of coalitional games (Bachrach and Rosenschein 2008). In CSGs, the valu...
Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet...
BILDMED
2007
107views Algorithms» more  BILDMED 2007»
15 years 8 months ago
Interactive Guidance System for C-Arm Repositioning Without Radiation
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...
Tassilo Klein, Selim Benhimane, Jörg Traub, S...
EISWT
2007
15 years 8 months ago
Schema Based XML Compression
XML has grown into a widely used and highly developed technology, due in part to the subcomponents built around the technology (advanced parsers, frameworks, libraries, etc). The ...
Naphtali Rishe, Ouri Wolfson, Ben Wongsaroj, Damia...
LREC
2010
132views Education» more  LREC 2010»
15 years 8 months ago
Development and Use of an Evaluation Collection for Personalisation of Digital Newspapers
This paper presents the process of development and the characteristics of an evaluation collection for a personalisation system for digital newspapers. This system selects, adapts...
Alberto Díaz, Pablo Gervás, Antonio ...