377 search results - page 75 / 76 » A Distributed Approach to Musical Composition |
VLSM
2005
Springer
13 years 11 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
HICSS
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
SRDS
1999
IEEE
13 years 10 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
FM
2006
Springer
13 years 9 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
13 years 5 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...