Sciweavers

679 search results - page 41 / 136
» hybrid 2010
Sort
View
PADL
2010
Springer
14 years 6 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
14 years 4 months 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
14 years 4 months 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»
14 years 4 months 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»
14 years 3 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