Sciweavers

1653 search results - page 170 / 331
» Directed tree-width examples
Sort
View
ICDS
2007
IEEE
16 years 11 days 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
ICIP
2007
IEEE
16 years 11 days 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...
165
Voted
ICSEA
2007
IEEE
16 years 11 days 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
167
Voted
INFOCOM
2007
IEEE
16 years 11 days 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
16 years 11 days 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&...