Sciweavers

2409 search results - page 74 / 482
» On Extended Regular Expressions
Sort
View
ACCV
2010
Springer
14 years 5 months ago
Network Connectivity via Inference over Curvature-Regularizing Line Graphs
Abstract. Diffusion Tensor Imaging (DTI) provides estimates of local directional information regarding paths of white matter tracts in the human brain. An important problem in DTI ...
Maxwell D. Collins, Vikas Singh, Andrew L. Alexand...
TSP
2010
14 years 4 months ago
Design of regular wavelets using a three-step lifting scheme
We propose structural multidimensional multi-channel filter banks with desirable numbers of vanishing moments for the analysis and synthesis banks. For a two-channel filter bank, w...
Ramin Eslami, Hayder Radha
LICS
2009
IEEE
15 years 4 months ago
Expressiveness and Closure Properties for Quantitative Languages
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
ICASSP
2011
IEEE
14 years 1 months ago
Dual constrained TV-based regularization
Algorithms based on the minimization of the Total Variation are prevalent in computer vision. They are used in a variety of applications such as image denoising, compressive sensi...
Camille Couprie, Hugues Talbot, Jean-Christophe Pe...
CONCUR
2001
Springer
15 years 2 months ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi