Sciweavers

7109 search results - page 176 / 1422
» Process Algebra with Combinators
Sort
View
107
Voted
FPL
2007
Springer
80views Hardware» more  FPL 2007»
15 years 9 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,...
114
Voted
TWC
2008
101views more  TWC 2008»
15 years 3 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...
122
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 10 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
103
Voted
ICDAR
2003
IEEE
15 years 9 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
131
Voted
ATAL
2008
Springer
15 years 5 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