Sciweavers

3116 search results - page 449 / 624
» Positively dependent types
Sort
View
DASFAA
2009
IEEE
125views Database» more  DASFAA 2009»
16 years 1 months ago
Flexibility as a Service
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
Wil M. P. van der Aalst, Michael Adams, Arthur H. ...
ICDS
2009
IEEE
16 years 1 months ago
A Hybrid Approach for Clustering-Based Data Aggregation in Wireless Sensor Networks
—In a wireless sensor network application for tracking multiple mobile targets, large amounts of sensing data can be generated by a number of sensors. These data must be controll...
Woo Sung Jung, Keun Woo Lim, Young-Bae Ko, Sang-Jo...
SI3D
2009
ACM
16 years 1 months ago
Approximating dynamic global illumination in image space
Physically plausible illumination at real-time framerates is often achieved using approximations. One popular example is ambient occlusion (AO), for which very simple and efficie...
Tobias Ritschel, Thorsten Grosch, Hans-Peter Seide...
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
16 years 1 months ago
User-centric design space exploration for heterogeneous Network-on-Chip platforms
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
Chen-Ling Chou, Radu Marculescu
ICC
2009
IEEE
180views Communications» more  ICC 2009»
16 years 1 months ago
Composite Hypothesis Testing for Cooperative Spectrum Sensing in Cognitive Radio
—In this paper, we present a composite hypothesis testing approach for cooperative spectrum sensing. We derive the optimal likelihood ratio test (LRT) statistic based on the Neym...
Sepideh Zarrin, Teng Joon Lim