Sciweavers

4539 search results - page 532 / 908
» Approaches to Compute Workflow Complexity
Sort
View
JAIR
2008
123views more  JAIR 2008»
15 years 6 months ago
CTL Model Update for System Modifications
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
Yan Zhang, Yulin Ding
PRL
2008
236views more  PRL 2008»
15 years 6 months ago
LBP-guided active contours
This paper investigates novel LBP-guided active contour approaches to texture segmentation. The Local Binary Pattern (LBP) operator is well suited for texture representation, comb...
Michalis A. Savelonas, Dimitrios K. Iakovidis, Dim...
TWC
2008
150views more  TWC 2008»
15 years 6 months ago
Convex approximation techniques for joint multiuser downlink beamforming and admission control
Multiuser downlink beamforming under quality of service (QoS) constraints has attracted considerable interest in recent years, because it is particularly appealing from a network o...
Evaggelia Matskani, Nicholas D. Sidiropoulos, Zhi-...
PC
2007
141views Management» more  PC 2007»
15 years 6 months ago
Physically based simulation of cloth on distributed memory architectures
Physically based simulation of cloth in virtual environments is a computationally demanding problem. It involves modeling the internal material properties of the textile (physical...
Bernhard Thomaszewski, Wolfgang Blochinger
MIDDLEWARE
2010
Springer
15 years 5 months ago
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...
Alokika Dash, Brian Demsky