144 search results - page 21 / 29 » Solving Regular Tree Grammar Based Constraints |
AINA
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we intend to solve the problem of maximum-revenue multicast routing with a partial admission control mechanism for multirate multimedia distribution. Specifically, ...
103
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
ICCSA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
85
Voted
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we focus on XML data integration by studying rewritings of XML target schemas in terms of source schemas. Rewriting is very important in data integration systems wh...
123
Voted
BIBE
2007
IEEE
15 years 3 months ago
2007
IEEE
Non-negative matrix factorization (NMF) and non-negative tensor factorization (NTF) have attracted much attention and have been successfully applied to numerous data analysis probl...