2632 search results - page 314 / 527 » Alternating Timed Automata |
141
Voted
JMLR
2006
15 years 3 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...
128
Voted
ENTCS
2007
15 years 3 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
134
Voted
JSS
2006
15 years 3 months ago
2006
Citation analysis helps in evaluating the impact of scientific collections (journals and conferences), publications and scholar authors. In this paper we examine known algorithms ...
99
Voted
EOR
2007
15 years 3 months ago
2007
A multiple objective programming approach for the analytic network process (ANP) is proposed to obtain all local priorities for crisp or interval judgments at one time, even in an...
151
Voted
AIR
2005
15 years 3 months ago
2005
Because of the changing nature of spam, a spam filtering system that uses machine learning will need to be dynamic. This suggests that a case-based (memory-based) approach may work...