1078 search results - page 191 / 216 » The Modal Logic of Probability |
110
Voted
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
Protein sequence analysis is an important tool to decode the logic of life. One of the most important similarity measures in this area is the edit distance between amino acids of ...
94
Voted
VTS
2000
IEEE
15 years 5 months ago
2000
IEEE
Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used ...
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
111
click to vote
CONPAR
1992
15 years 4 months ago
1992
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
118
Voted
ASPDAC
1995
ACM
15 years 4 months ago
1995
ACM
— The goal of transistor reordering for a logic gate is to reduce the propagation delay as well as the charging and discharging of internal capacitances to achieve low power cons...