411 search results - page 41 / 83 » Automating the Dependency Pair Method |
118
Voted
ATAL
2008
Springer
15 years 5 months 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...
129
Voted
GLOBECOM
2009
IEEE
15 years 1 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...
136
Voted
TAPSOFT
1995
Springer
15 years 7 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 ...
111
Voted
BMCBI
2007
15 years 3 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...
135
Voted
BMCBI
2005
15 years 3 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...