1544 search results - page 152 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
162
click to vote
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
183
click to vote
AIR
2005
15 years 6 months ago
2005
Because of the changing nature of spam, a spam filtering system that uses machine learning will need to be dynamic. This suggests that a case-based (memory-based) approach may work...
211
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
182
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes the design and evaluation of prosodically-sensitive concatenative units for a Korean text-to-speech (TTS) synthesis system. The diphones used are prosodically...
209
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...