Sciweavers

1494 search results - page 201 / 299
» Kernels for Global Constraints
Sort
View
111
Voted
ECOOP
1993
Springer
15 years 4 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
87
Voted
ASPDAC
2007
ACM
96views Hardware» more  ASPDAC 2007»
15 years 4 months ago
Hierarchical Optimization Methodology for Wideband Low Noise Amplifiers
In this paper, we present a systematic synthesis methodology for fully integrated wideband low noise amplifiers that simultaneously optimizes impedance matching, noise figure, and ...
Arthur Nieuwoudt, Tamer Ragheb, Yehia Massoud
99
Voted
CP
2006
Springer
15 years 4 months ago
Inferring Variable Conflicts for Local Search
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
Magnus Ågren, Pierre Flener, Justin Pearson
IFIP12
2007
15 years 2 months ago
A Multi-Agent Design for a Home Automation System dedicated to power management
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
Shadi Abras, Stéphane Ploix, Sylvie Pesty, ...
MVA
2007
160views Computer Vision» more  MVA 2007»
15 years 2 months ago
Probabilistic Motion Segmentation of Videos for Temporal Super Resolution
A novel scheme is proposed for achieving motion segmentation in low-frame rate videos, with application to temporal super resolution. Probabilistic generative models are commonly ...
Arasanathan Thayananthan, Masahiro Iwasaki, Robert...