Sciweavers

2550 search results - page 162 / 510
» The Meaning of Open Standards
Sort
View
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
16 years 1 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
COSIT
2009
Springer
114views GIS» more  COSIT 2009»
16 years 1 months ago
Spatio-terminological Inference for the Design of Ambient Environments
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
Mehul Bhatt, Frank Dylla, Joana Hois
ICASSP
2008
IEEE
16 years 1 months ago
Nonstationary multiple-antenna interference cancellation for unsynchronized OFDM systems with distributed training
Adaptive interference cancellation is addressed in an orthogonal frequency division multiplexing (OFDM) system with a frame containing a number of temporally distributed pilot sym...
Alexandr M. Kuzminskiy, Yuri I. Abramovich
FPL
2007
Springer
140views Hardware» more  FPL 2007»
16 years 21 days ago
An area-efficient alternative to adaptive median filtering in FPGAs
This paper presents a new approach to the FPGA implementation of image filters which are utilized to remove the saltand-pepper noise of high intensity (up to 70% of corrupted pix...
Zdenek Vasícek, Lukás Sekanina
EVOW
2005
Springer
16 years 2 days ago
Evolving Reversible Circuits for the Even-Parity Problem
Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in ord...
Mihai Oltean