3758 search results - page 549 / 752 » A Complete Subsumption Algorithm |
176
click to vote
TLCA
2009
Springer
16 years 19 days 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...
152
click to vote
ISLPED
2009
ACM
16 years 18 days 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...
160
click to vote
MM
2009
ACM
16 years 18 days 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 ...
167
click to vote
SIGIR
2009
ACM
16 years 18 days 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...
183
click to vote
CDC
2008
IEEE
16 years 17 days 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...