790 search results - page 108 / 158 » Subexponential Parameterized Algorithms |
122
Voted
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
103
Voted
TCAD
2002
15 years 2 months ago
2002
System-on-a-chip (SOC) platform manufacturers are increasingly adding configurable features that provide power and performance flexibility in order to increase a platform's ap...
104
Voted
JSC
2010
15 years 1 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
127
Voted
SPIRE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. A palindrome is a symmetric string that reads the same forward and backward. Let Pals(w) denote the set of maximal palindromes of a string w in which each palindrome is r...
119
Voted
ICIP
2010
IEEE
15 years 18 days ago
2010
IEEE
Based on the theory of Markov Random Fields, a Bayesian regularization model for diffusion tensor images (DTI) is proposed in this paper. The low-degree parameterization of diffus...