1888 search results - page 157 / 378 » Proof theory and computational analysis |
105
Voted
LCN
2008
IEEE
15 years 7 months ago
2008
IEEE
—Network calculus is a recently developed theory dealing with queuing systems found in computer networks with focus on service guarantee analysis. In the current network calculus...
156
click to vote
ECEASST
2010
14 years 10 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
145
Voted
JDCTA
2010
14 years 7 months ago
2010
The approach for predictive analysis focuses on a business strategy to streamline business-customer relationships in order to maximize client satisfaction and thereby improve cust...
166
Voted
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...
115
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...