3850 search results - page 663 / 770 » Optimal Linear Broadcast |
159
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
146
click to vote
PKDD
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Social network analysis has attracted much attention in recent years. Community mining is one of the major directions in social network analysis. Most of the existing met...
143
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
152
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Summarization of query results is an important problem for many OLAP applications. The Minimum Description Length principle has been applied in various studies to provide summarie...
182
click to vote
VLSM
2005
Springer
15 years 11 months ago
2005
Springer
We present a computationally efficient segmentationrestoration method, based on a probabilistic formulation, for the joint estimation of the label map (segmentation) and the para...