Sciweavers

679 search results - page 41 / 136
» hybrid 2010
Sort
View
PADL
2010
Springer
16 years 2 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
HYBRID
2010
Springer
16 years 24 days ago
On a control algorithm for time-varying processor availability
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
Vijay Gupta
DCC
2010
IEEE
16 years 26 days ago
A Hybrid Media Transmission Scheme for Wireless VoIP
In this paper, we propose an optimization framework for real-time voice transmission over wireless tandem channels prone to both bit errors and packet erasures. Utilizing a hybrid...
Ala F. Khalifeh, Homayoun Yousefi'zadeh
ARC
2010
Springer
188views Hardware» more  ARC 2010»
16 years 24 days ago
A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs
Dot-products are one of the essential and recurrent building blocks in scientific computing, and often take-up a large proportion of the scientific acceleration circuitry. The ac...
Antonio Roldao Lopes, George A. Constantinides
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 11 months ago
Monolithically stackable hybrid FPGA
— The paper introduces novel field programmable gate array (FPGA) circuits based on hybrid CMOS/resistive switching device (memristor) technology and explores several logic archi...
Dmitri Strukov, Alan Mishchenko