Sciweavers

2611 search results - page 283 / 523
» A Logic for Concepts and Similarity
Sort
View
TC
2010
15 years 5 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
COMPSAC
2010
IEEE
15 years 4 months ago
Design and Implementation of a Middleware for Development and Provision of Stream-Based Services
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
Seungwoo Kang, Youngki Lee, Sunghwan Ihm, Souneil ...
EUSFLAT
2009
162views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Early Start Can Inhibit Learning: Towards A New Explanation
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
Olga Kosheleva
TMC
2012
13 years 9 months ago
Network Coding in Cooperative Communications: Friend or Foe?
—A major benefit of employing network coding (NC) in cooperative communications (CC) is its ability to reduce time-slot overhead. Such approach is called network-coded CC (or NC...
Sushant Sharma, Yi Shi, Jia Liu, Y. Thomas Hou, Sa...
FCCM
2003
IEEE
135views VLSI» more  FCCM 2003»
15 years 12 months ago
Efficient Application Representation for HASTE: Hybrid Architectures with a Single, Transformable Executable
Hybrid architectures, which are composed of a conventional processor closely coupled with reconfigurable logic, seem to combine the advantages of both types of hardware. They pres...
Benjamin A. Levine, Herman Schmit