31387 search results - page 6241 / 6278 » Abstracts |
104
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: Combining multiple evidence-types from different information sources has the potential to reveal new relationships in biological systems. The integrated information ca...
CAI
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ï¬nite model theory and proï...
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and veriï¬cation techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
CGF
2011
14 years 1 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated ï¬lms and interactive games have reached a level where the manual creation by tradition...
110
click to vote
CNSR
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—In recent years, Peer-to-Peer (P2P) streaming systems experienced tremendous growth and became one of the largest bandwidth consumer on Internet. PPLive, one of the most...