7766 search results - page 353 / 1554 » Testing Nondeterminate Systems |
194
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
181
Voted
IEEEICCI
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces a query-specific opinion summarization system: QOS. When input an opinion question, the system returns a summary with relevance to the opinion and target des...
155
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a Flexible Question Answering System (FQAS) for mobile wireless devices. FQAS comprises a fuzzy logic-based Information Retrieval (IR) System together with a q...
172
click to vote
ICICIC
2006
IEEE
16 years 23 days ago
2006
IEEE
Genetic algorithm and neural network (GNN) are integrated to build a financial early warning system. An example of Taiwanese banking industry is discussed to test the hit ratio of...
177
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a novel method for on-line coordination in multiagent reinforcement learning systems. In this method a reinforcement-learning agent learns to select its action ...