334 search results - page 53 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
131
click to vote
ICTAI
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
149
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The analysis of large-scale data sets via clustering techniques is utilized in a number of applications. Biclustering in particular has emerged as an important problem...
157
click to vote
PATMOS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
139
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...