Sciweavers

5671 search results - page 404 / 1135
» A Semantic Approach to Interpolation
Sort
View
CICLING
2008
Springer
15 years 9 months ago
Natural Language as the Basis for Meaning Representation and Inference
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Green...
MKWI
2008
117views Business» more  MKWI 2008»
15 years 9 months ago
Knowledge Acquisition from EPC Models for Extraction of Process Patterns in Engineering Domains
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...
Andreas Bögl, Maximilian Kobler, Michael Schr...
ICCV
2007
IEEE
16 years 9 months ago
Scene Modeling Using Co-Clustering
In this paper, we propose a novel approach for scene modeling. The proposed method is able to automatically discover the intermediate semantic concepts. We utilize Maximization of...
Jingen Liu, Mubarak Shah
DSN
2008
IEEE
16 years 2 months ago
Architectural dependability evaluation with Arcade
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
16 years 1 months ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky