411 search results - page 41 / 83 » Automating the Dependency Pair Method |
ATAL
2008
Springer
14 years 23 days ago
2008
Springer
We propose Markov random fields (MRFs) as a probabilistic mathematical model for unifying approaches to multi-robot coordination or, more specifically, distributed action selectio...
GLOBECOM
2009
IEEE
13 years 8 months ago
2009
IEEE
Cooperative relaying is a communication technique in wireless networks where neighboring nodes assist communication pairs to mitigate the negative effects of multi-path fading. The...
TAPSOFT
1995
Springer
14 years 2 months ago
1995
Springer
The Pentium computer chip’s division algorithm relies on a table from which five entries were inadvertently omitted, with the result that 1738 single precision dividenddivisor ...
BMCBI
2007
13 years 11 months ago
2007
Background: Many crucial cellular operations such as metabolism, signalling, and regulations are based on protein-protein interactions. However, the lack of robust protein-protein...
BMCBI
2005
13 years 10 months ago
2005
Background: Sequence alignment is a common tool in bioinformatics and comparative genomics. It is generally assumed that multiple sequence alignment yields better results than pai...