Sciweavers

1687 search results - page 199 / 338
» Light Functional Interpretation
Sort
View
DAGM
2008
Springer
15 years 8 months ago
MAP-Inference for Highly-Connected Graphs with DC-Programming
The design of inference algorithms for discrete-valued Markov Random Fields constitutes an ongoing research topic in computer vision. Large state-spaces, none-submodular energy-fun...
Jörg H. Kappes, Christoph Schnörr
ECAI
2008
Springer
15 years 8 months ago
Propositional merging operators based on set-theoretic closeness
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...
Patricia Everaere, Sébastien Konieczny, Pie...
FASE
2008
Springer
15 years 8 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
ACL
2008
15 years 7 months ago
Robust Dialog Management with N-Best Hypotheses Using Dialog Examples and Agenda
This work presents an agenda-based approach to improve the robustness of the dialog manager by using dialog examples and n-best recognition hypotheses. This approach supports n-be...
Cheongjae Lee, Sangkeun Jung, Gary Geunbae Lee
ACL
2008
15 years 7 months ago
Enriching Spoken Language Translation with Dialog Acts
Current statistical speech translation approaches predominantly rely on just text transcripts and do not adequately utilize the rich contextual information such as conveyed throug...
Vivek Kumar Rangarajan Sridhar, Srinivas Bangalore...