Sciweavers

1653 search results - page 170 / 331
» Directed tree-width examples
Sort
View
ICDS
2007
IEEE
15 years 8 months ago
Automatic Acquisition of Translation Knowledge Using Structural Matching Between Parse Trees
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
Werner Winiwarter
99
Voted
ICIP
2007
IEEE
15 years 8 months ago
Multifocus Image Fusion by Establishing Focal Connectivity
Multifocus fusion is the process of unifying focal information from a set of input images acquired with limited depth of field. In this effort, we present a general purpose multif...
Harishwaran Hariharan, Andreas Koschan, Mongi A. A...
ICSEA
2007
IEEE
15 years 8 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
INFOCOM
2007
IEEE
15 years 8 months ago
Connectivity and Capacity of Multi-Channel Wireless Networks with Channel Switching Constraints
— This paper argues for the need to address the issue of multi-channel network performance under constraints on channel switching. We present examples from emergent directions in...
Vartika Bhandari, Nitin H. Vaidya
IPPS
2007
IEEE
15 years 8 months ago
Software Tools for Performance Modeling of Parallel Programs
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
Diego Rodriguez Martínez, Vicente Blanco P&...