Sciweavers

12373 search results - page 44 / 2475
» Semi-Logarithmic Number Systems
Sort
View
ICC
2009
IEEE
13 years 5 months ago
Interference and Deployment Issues for Cognitive Radio Systems in Shadowing Environments
In this paper we describe a model for calculating the aggregate interference encountered by primary receivers in the presence of randomly placed cognitive radios (CRs). We show tha...
Muhammad Fainan Hanif, Mansoor Shafi, Peter J. Smi...
ICANN
2001
Springer
14 years 3 days ago
Scalable Kernel Systems
Kernel-based systems are currently very popular approaches to supervised learning. Unfortunately, the computational load for training kernel-based systems increases drastically wit...
Volker Tresp, Anton Schwaighofer
EWSA
2004
Springer
14 years 1 months ago
Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
Eoin Woods
VLSID
2002
IEEE
138views VLSI» more  VLSID 2002»
14 years 8 months ago
A Framework for Design Space Exploration of Parameterized VLSI Systems
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
FORMATS
2004
Springer
14 years 1 months ago
Symbolic Model Checking for Simply-Timed Systems
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
Nicolas Markey, Ph. Schnoebelen