Sciweavers

7109 search results - page 176 / 1422
» Process Algebra with Combinators
Sort
View
FPL
2007
Springer
80views Hardware» more  FPL 2007»
16 years 18 days 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
15 years 11 months 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 8 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