12257 search results - page 432 / 2452 » Analysis of Algorithms |
132
click to vote
CSO
2009
IEEE
15 years 11 months ago
2009
IEEE
When a paid price discount activity occurs, the decisionmaker must decide whether or not and when to pay the additional fees for preferential price in an online fashion. This prob...
138
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
152
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The increasing computing and communication capabilities of multi-function devices (MFDs) have enabled networks of such devices to provide value-added services. This has...
128
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
119
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— We consider the application of kernel canonical correlation analysis (K-CCA) to the supervised equalization of Wiener systems. Although a considerable amount of research has be...