4502 search results - page 341 / 901 » Regular Model Checking |
149
click to vote
TIM
2010
15 years 1 months ago
2010
New digital subscriber line (DSL) technologies are being developed to meet the ever-increasing bandwidth demand of the user. One very promising approach injects "common-mode&q...
125
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper introduces an effective initialization approach for segmentation using the Chan-Vese model. The initial curve is found by searching among the extremals of the fidelity ...
118
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Yield and variability are becoming detractors for successful design in sub-90-nm process technologies. We consider the fundamental lithography and process issues that are driving ...
157
click to vote
ACL
2008
15 years 8 months ago
2008
In morphologically rich languages such as Arabic, the abundance of word forms resulting from increased morpheme combinations is significantly greater than for languages with fewer...
162
click to vote
COLING
2000
15 years 8 months ago
2000
Results presented in this paper strongly support the notion that similarities as well as differences in language systems can be empirically investigated by looking into the lingui...