Sciweavers

1287 search results - page 169 / 258
» Reduction of Timed Hybrid Systems
Sort
View
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
14 years 3 months ago
Domain specific architecture for next generation wireless communication
—In order to solve the challenges in processor design for the next generation wireless communication systems, this paper first proposes a system level design flow for communicati...
Botao Zhang, Hengzhu Liu, Heng Zhao, Fangzheng Mo,...
AAAI
2004
13 years 11 months ago
Fibring Neural Networks
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
Artur S. d'Avila Garcez, Dov M. Gabbay
MS
2003
13 years 11 months ago
Model-based Optimization of an Infrared Gas Sensor
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...
Ingo Sieber, Karl-Heinz Suphan
TPDS
2010
113views more  TPDS 2010»
13 years 4 months ago
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...
Paulo Sousa, Alysson Neves Bessani, Miguel Correia...
ICC
2007
IEEE
165views Communications» more  ICC 2007»
14 years 4 months ago
Oblivious Keyword Search Protocols in the Public Database Model
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...
Huafei Zhu, Feng Bao