3387 search results - page 56 / 678 » Automating the Metamodeling Process |
115
click to vote
WSC
2008
15 years 6 months ago
2008
We formulate and evaluate distribution-free statistical process control (SPC) charts for monitoring an autocorrelated process when a training data set is used to estimate the marg...
112
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
: In order to improve the automation rate of state-of-the-art IVR systems we introduce the application of two key technologies. Semantic processing is performed to analyze the inpu...
116
click to vote
IJCAI
2003
15 years 5 months ago
2003
This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and ...
128
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if ...
116
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...