Sciweavers

4987 search results - page 893 / 998
» Fuzzifying P Systems
Sort
View
122
Voted
DAC
2010
ACM
15 years 3 months ago
Performance and power modeling in a multi-programmed multi-core environment
This paper describes a fast, automated technique for accurate on-line estimation of the performance and power consumption of interacting processes in a multi-programmed, multi-cor...
Xi Chen, Chi Xu, Robert P. Dick, Zhuoqing Morley M...
141
Voted
ATAL
2010
Springer
15 years 3 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
146
Voted
GLOBECOM
2007
IEEE
15 years 3 months ago
Cooperative Beamforming for Wireless Ad Hoc Networks
—Via collaborative beamforming, nodes in a wireless network are able to transmit a common message over long distances in an energy efficient fashion. However, the process of mak...
Lun Dong, Athina P. Petropulu, H. Vincent Poor
ANOR
2010
125views more  ANOR 2010»
15 years 3 months ago
A Bayesian approach for the alignment of high-resolution NMR spectra
: The rapid progresses in human genome project and biotechnologies result in the sheer volume of datasets associated with in-depth scientific knowledge. Metabolomics is defined as ...
Seoung Bum Kim, Zhou Wang, Basavaraj Hiremath
127
Voted
BIB
2008
101views more  BIB 2008»
15 years 3 months ago
Information quality in proteomics
Proteomics, the study of the protein complement of a biological system, is generating increasing quantities of data from rapidly developing technologies employed in a variety of d...
David Stead, Norman W. Paton, Paolo Missier, Suzan...