Sciweavers

7109 search results - page 176 / 1422
» Process Algebra with Combinators
Sort
View
FPL
2007
Springer
80views Hardware» more  FPL 2007»
16 years 1 months ago
A Temporal Correlation Based Port Combination Methodology for Networks-on-chip on Reconfigurable Systems
A temporal correlation based port combination algorithm that customizes the router design in Network-on-Chip (NoC) is proposed for reconfigurable systems in order to minimize req...
Daihan Wang, Hiroki Matsutani, Michihiro Koibuchi,...
TWC
2008
101views more  TWC 2008»
15 years 6 months ago
Adaptive generalized selection combining (A-GSC) receivers
We introduce an adaptive generalized selection combining (A-GSC) receiver that can be efficiently applied in diversity rich fading environments such as in ultra-wideband applicatio...
Athanasios S. Lioumpas, George K. Karagiannidis, T...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
ICDAR
2003
IEEE
16 years 8 days ago
Combination of Pruned Kohonen Maps for On-line Arabic Characters Recognition
The purpose of this study is to investigate a method for high performance on-line Arabic characters recognition. This method is based on the use of Kohonen maps and their correspo...
Neila Mezghani, Mohamed Cheriet, Amar Mitiche
ATAL
2008
Springer
15 years 9 months ago
Combining Cognitive with Computational Trust Reasoning
We propose a concept that combines the cognitive with the computational approaches to experience-based trust reasoning. We emphasize that a cognitive component is vital for computa...
Eugen Staab, Thomas Engel