2488 search results - page 464 / 498 » An improvement in formal verification |
138
click to vote
JIPS
2010
14 years 8 months ago
2010
Spatio-temporal patterns extracted from historical trajectories of moving objects reveal important knowledge about movement behavior for high quality LBS services. Existing approac...
110
click to vote
JMLR
2010
14 years 8 months ago
2010
Composite likelihood methods provide a wide spectrum of computationally efficient techniques for statistical tasks such as parameter estimation and model selection. In this paper,...
118
click to vote
JMLR
2010
2010
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
14 years 8 months ago
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...
105
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Imitation can be viewed as a means of enhancing learning in multiagent environments. It augments an agent’s ability to learn useful behaviors by making intelligent use of the kn...
ICASSP
2011
IEEE
2011
IEEE
Efficient transform coding of two-channel audio signals by means of complex-valued stereo prediction
14 years 5 months ago
Traditional MDCT-based perceptual audio coding schemes employ mid/side and intensity stereo techniques to allow efficient joint coding of the two channels of a stereophonic signal...