Sciweavers

4762 search results - page 732 / 953
» About the use of protein models
Sort
View
PLILP
1992
Springer
15 years 5 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft
ATAL
2007
Springer
15 years 5 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
WCNC
2010
IEEE
15 years 5 months ago
Measurement-Based Channel Management in WLANs
Abstract — Wireless frequency resources are often the limiting factor for WLAN throughput. Hence, wireless channel management is needed to mitigate co-channel interference and im...
Yongqiang Liu, William Wu, Bo Wang, Tao He, Su Yi,...
86
Voted
HT
2007
ACM
15 years 5 months ago
Annotation consensus: implications for passage recommendation in scientific literature
We present a study of the degree to which annotations overlap when several researchers read the same set of scientific articles. Our objective is to determine whether there is suf...
Shannon Bradshaw, Marc Light
EDOC
2004
IEEE
15 years 5 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo