4592 search results - page 552 / 919 » Framework for Studying Substitution |
229
click to vote
SIAMSC
2010
15 years 6 months ago
2010
In this paper, we study alternating direction methods for solving constrained total-variation image restoration and reconstruction problems. Alternating direction methods can be im...
187
click to vote
TCS
2010
15 years 6 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
194
click to vote
WG
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We study the Arc-Preserving Subsequence (APS) problem with unlimited annotations. Given two arc-annotated sequences P and T, this problem asks if it is possible to delete...
167
click to vote
WIOPT
2010
IEEE
15 years 6 months ago
2010
IEEE
—K-shell (or k-core) graph decomposition methods were introduced as a tool for studying the structure of large graphs. K-shell decomposition methods have been recently proposed [...
179
click to vote
ACL
2010
15 years 5 months ago
2010
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...