Sciweavers

1061 search results - page 155 / 213
» Dependently Sorted Logic
Sort
View
BPSC
2009
152views Business» more  BPSC 2009»
15 years 1 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
CORR
2002
Springer
104views Education» more  CORR 2002»
14 years 11 months ago
Intelligent Search of Correlated Alarms for GSM Networks with Model-based Constraints
In order to control the process of data mining and focus on the things of interest to us, many kinds of constraints have been added into the algorithms of data mining. However, di...
Qingguo Zheng, Ke Xu, Weifeng Lv, Shilong Ma
ICIP
2010
IEEE
14 years 9 months ago
Bit-plane stack filter algorithm for focal plane processors
This work presents a novel parallel technique to implement stack morphological filters for image processing. The method relies on applying the image bitwise decomposition to manip...
Andrés Frias-Velazquez, Wilfried Philips
EMNLP
2009
14 years 9 months ago
Unsupervised Semantic Parsing
We present the first unsupervised approach to the problem of learning a semantic parser, using Markov logic. Our USP system transforms dependency trees into quasi-logical forms, r...
Hoifung Poon, Pedro Domingos
FLAIRS
2009
14 years 9 months ago
Supporting Uncertainty and Inconsistency in Semantic Web Applications
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
Neli P. Zlatareva