2398 search results - page 243 / 480 » Constraint Programming and Graph Algorithms |
165
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
In recent years, researchers in graph mining have been exploring linear paths as well as subgraphs as pattern languages. In this paper, we are investigating the middle ground betw...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodyna...
172
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Data compression and prediction are closely related. Thus prediction methods based on data compression algorithms have been suggested for the branch prediction problem. In this wo...
161
click to vote
TCOM
2010
15 years 4 months ago
2010
—Resource allocation promises significant benefits in wireless networks. In order to fully reap these benefits, it is important to design efficient resource allocation algori...
194
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...