4872 search results - page 84 / 975 » CBR for Modeling Complex Systems |
145
click to vote
TCOM
2010
15 years 2 months ago
2010
—This paper deals with the case of a high speed mobile receiver operating in an orthogonal-frequency-divisionmultiplexing (OFDM) communication system. Assuming the knowledge of d...
144
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
168
click to vote
PROPOR
2010
Springer
15 years 11 months ago
2010
Springer
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
113
click to vote
IANDC
2010
15 years 2 months ago
2010
We show that the two NP-complete problems of Dodgson Score and Young Score have differing computational complexities when the winner is close to being a Condorcet winner. On the ...
131
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...