Sciweavers

9842 search results - page 271 / 1969
» Compositional timing analysis
Sort
View
AAAI
2012
13 years 6 months ago
The Complexity of Planning Revisited - A Parameterized Analysis
The early classifications of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (B¨ackstr¨om and Nebel) have influenced followin...
Christer Bäckström, Yue Chen, Peter Jons...
CCS
2007
ACM
15 years 10 months ago
Toward measuring network security using attack graphs
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
Lingyu Wang, Anoop Singhal, Sushil Jajodia
EUROMICRO
2011
IEEE
14 years 4 months ago
Software Product Quality in Global Software Development: Finding Groups with Aligned Goals
— The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper present...
Panagiota Chatzipetrou, Lefteris Angelis, Sebastia...
ICIP
2006
IEEE
16 years 6 months ago
Removing Redundancy in Multi-Resolution Scalable Video Coding Schemes
Nowadays standard technologies for spatially scalable video coding use Gaussian pyramidal approaches, that naturally lead to redundant descriptions after the temporal analysis. Ho...
Guillaume Boisson, Edouard François
ICIP
2008
IEEE
15 years 11 months ago
Efficient motion estimation under varying illumination
In this paper, we show how to estimate, accurately and efficiently, the 3D motion of a rigid or non-rigid object, and time-varying lighting in a dynamic scene. This is achieved i...
Yilei Xu, Amit K. Roy Chowdhury