4738 search results - page 211 / 948 » Past, Present, and Future |
179
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
210
click to vote
TKDE
2010
15 years 4 months ago
2010
—Authority flow and proximity search have been used extensively in measuring the association between entities in data graphs, ranging from the Web to relational and XML database...
147
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
162
click to vote
ACL
2009
15 years 4 months ago
2009
We present a series of experiments on automatically identifying the sense of implicit discourse relations, i.e. relations that are not marked with a discourse connective such as &...