3889 search results - page 232 / 778 » A Framework for Optimizing Paper Matching |
168
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
151
Voted
JMLR
2006
15 years 5 months ago
2006
This paper proposes a general probabilistic framework for shape-based modeling and classification of waveform data. A segmental hidden Markov model (HMM) is used to characterize w...
149
Voted
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
165
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we derive an optimal resource allocation algorithm for ergodic weighted-sum capacity maximization in OFDMA systems assuming the availability of only partial (imperfe...
228
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We discover communities from social network data, and analyze the community evolution. These communities are inherent characteristics of human interaction in online social network...