1364 search results - page 160 / 273 » Comparative Branching-Time Semantics |
144
click to vote
ICASSP
2009
IEEE
16 years 1 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...
197
click to vote
WIAMIS
2009
IEEE
16 years 1 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...
147
click to vote
CALCO
2009
Springer
16 years 27 days 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...
199
click to vote
ECSQARU
2009
Springer
16 years 27 days 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...
164
click to vote
EMO
2009
Springer
16 years 27 days ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...