Sciweavers

1301 search results - page 22 / 261
» Specifications via Realizability
Sort
View
ASPDAC
2008
ACM
100views Hardware» more  ASPDAC 2008»
13 years 9 months ago
Routability driven modification method of monotonic via assignment for 2-layer Ball Grid Array packages
Ball Grid Array packages in which I/O pins are arranged in a grid array pattern realize a number of connections between chips and a printed circuit board, but it takes much time in...
Yoichi Tomioka, Atsushi Takahashi
SMC
2010
IEEE
143views Control Systems» more  SMC 2010»
13 years 6 months ago
Estimating of Bellman function via suboptimal strategies
—The paper concerns approximate dynamic decision making. It deals with solving Bellman equation to obtain the Bellman function via so-called suboptimal strategies. The suboptimal...
Jan Zeman
WETICE
1996
IEEE
13 years 11 months ago
Independent validation of specifications: a coordination headache
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
Steve M. Easterbrook, John R. Callahan
ICPR
2000
IEEE
14 years 8 months ago
Precise Hand-printed Character Recognition Using Elastic Models via Nonlinear Transformation
Distorted character recognition is a difficult but inevitable problem in hand-printed character recognition. In this paper, we propose a character recognition method using elastic...
Tsuyoshi Kato, Shinichiro Omachi, Hirotomo Aso
ICIC
2007
Springer
14 years 1 months ago
Fuzzy Modeling Via On-Line Clustering and Support Vector Machine
Abstract. This paper describes a novel fuzzy rule-based modeling approach for some slow industrial processses. Structure identification is realized by clustering and support vecto...
Julio César Tovar, Wen Yu, Xiaoou Li