3758 search results - page 549 / 752 » A Complete Subsumption Algorithm |
131
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
113
click to vote
ISLPED
2009
ACM
15 years 8 months ago
2009
ACM
Increasing power densities and the high cost of low thermal resistance packages and cooling solutions make it impractical to design processors for worst-case temperature scenarios...
113
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
Automatic visual categorization is critically dependent on labeled examples for supervised learning. As an alternative to traditional expert labeling, social-tagged multimedia is ...
118
click to vote
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
Link analysis methods have been used successfully for knowledge discovery from the link structure of mutually linking entities. Existing link analysis methods have been inherently...
140
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Differential repetitive processes are a distinct class of continuous-discrete twodimensional linear systems of both systems theoretic and applications interest. These pr...