1458 search results - page 24 / 292 » The sequentially realizable functionals |
131
Voted
AMFG
2003
IEEE
15 years 7 months ago
2003
IEEE
In recent years Sequential Monte Carlo (SMC) methods have been applied to handle some of the problems inherent to model-based tracking. In this paper two issues regarding SMC are ...
125
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
146
click to vote
FSS
2006
15 years 2 months ago
2006
In this paper, a Sequential Adaptive Fuzzy Inference System called SAFIS is developed based on the functional equivalence between a radial basis function network and a fuzzy infer...
131
Voted
ISPD
2004
ACM
15 years 8 months ago
2004
ACM
As the CMOS technology is scaled into the dimension of nanometer, the clock frequencies and die sizes of ICs are shown to be increasing steadily [5]. Today, global wires that requ...
180
Voted
DAC
1996
ACM
15 years 6 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...