11716 search results - page 2226 / 2344 » Computable symbolic dynamics |
ICDCS
2010
IEEE
13 years 10 months ago
2010
IEEE
Many high-performance communicating systems are designed using the event-driven paradigm. As multicore platforms are now pervasive, it becomes crucial for such systems to take adva...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
BMCBI
2010
13 years 9 months ago
2010
Background: Computational identification of blood-secretory proteins, especially proteins with differentially expressed genes in diseased tissues, can provide highly useful inform...
BMCBI
2008
13 years 9 months ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...
CAD
2008
Springer
13 years 9 months ago
2008
Springer
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....