1027 search results - page 80 / 206 » Progress on the Progressive Party Problem |
HIKM
2006
ACM
15 years 3 months ago
2006
ACM
Many methodologies have been proposed in the last decade for integration and exchange of medical data. However, little progress has occurred due to the following reasons. First, p...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
In open settings, the participants are autonomous and there is no central authority to ensure the felicity of their interactions. When agents interact in such settings, each relie...
WSC
1997
14 years 11 months ago
1997
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
166
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: Alignment of RNA secondary structures is important in studying functional RNA motifs. In recent years, much progress has been made in RNA motif finding and structure a...