5718 search results - page 209 / 1144 » Modeling Rule Precision |
185
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
187
click to vote
CCGRID
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract Utility Data Center (UDC) provides a exible, coste ective infrastructure to support the hosting of applications for Internet services. In order to enable the design of a \...
190
click to vote
AISADM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present CoLe, a model for cooperative agents for mining knowledge from heterogeneous data. CoLe allows for the cooperation of different mining agents and the combinat...
184
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
165
click to vote
ACL
2003
15 years 8 months ago
2003
Noun extraction is very important for many NLP applications such as information retrieval, automatic text classification, and information extraction. Most of the previous Korean ...