5105 search results - page 202 / 1021 » An algorithm to determine peer-reviewers |
180
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
150
click to vote
IJIT
2004
15 years 8 months ago
2004
A novel method of learning complex fuzzy decision regions in the n-dimensional feature space is proposed. Through the fuzzy decision regions, a given pattern's class membershi...
155
click to vote
WSCG
2004
15 years 8 months ago
2004
: Animal fibers have variety in their longitudinal sections. The main difference of the longitudinal section of these fibers is the geometry and dimension of scale patterns, which ...
130
click to vote
ADCM
2004
15 years 6 months ago
2004
Abstract. We study conditions on the matrix mask of a vector subdivision scheme ensuring that certain polynomial input vectors yield polynomial output again. The conditions are in ...
152
click to vote
COLING
2002
15 years 6 months ago
2002
The objective of this work is to disambiguate transducers which have the following form: T = R D and to be able to apply the determinization algorithm described in (Mohri, 1997)....