144 search results - page 28 / 29 » Combination Methods for Satisfiability and Model-Checking of... |
BMCBI
2010
13 years 5 months ago
2010
Background: Gene clustering for annotating gene functions is one of the fundamental issues in bioinformatics. The best clustering solution is often regularized by multiple constra...
EDBT
2002
ACM
14 years 5 months ago
2002
ACM
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...
ICIP
2007
IEEE
14 years 7 months ago
2007
IEEE
We propose a method for delivering error-resilient video from wireless camera networks in a distributed fashion over lossy channels. Our scheme is based on distributed source codi...
OTM
2004
Springer
13 years 10 months ago
2004
Springer
Currently, a number of distributed software systems development tools exist, but typically they are designed either to satisfy industrial standards – industrial perspective – o...
WWW
2008
ACM
14 years 6 months ago
2008
ACM
Due to the rapid growth in the size of the web, web search engines are facing enormous performance challenges. The larger engines in particular have to be able to process tens of ...