31387 search results - page 6241 / 6278 » Abstracts |
211
click to vote
BMCBI
2011
14 years 10 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...
175
click to vote
CAI
2011
Springer
14 years 10 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ï...
191
click to vote
CAV
2011
Springer
14 years 10 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 ...
188
click to vote
CGF
2011
14 years 10 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...
222
click to vote
CNSR
2011
IEEE
14 years 10 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...