1364 search results - page 160 / 273 » Comparative Branching-Time Semantics |
112
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce a regularized kernel-based rule for unsupervised change detection based on a simpler version of the recently proposed kernel Fisher discriminant ratio. Compared to ot...
146
Voted
WIAMIS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper suggests an alternative solution for the task of spoken document retrieval (SDR). The proposed system runs retrieval on multi-level transcriptions (word and phone) prod...
120
Voted
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
156
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
135
Voted
EMO
2009
Springer
15 years 10 months ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...