1187 search results - page 175 / 238 » Graph-Based Procedural Abstraction |
CIBCB
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract–Protein families can be used to reconstruct evolutionary histories of organisms. The accuracy of protein assignment to such families is critical for the success of such ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
134
click to vote
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Driven by the recent advances in digital entertainment technologies, digital multimedia content (such as music and movies) is becoming a major part of the average compu...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...