11436 search results - page 409 / 2288 » Modeling Real Reasoning |
132
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a prosodic phrasing model for Korean to be used in a text-to-speech synthesis (TTS) system. Read text corpora were morpho-syntactically parsed and prosodically...
139
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
With developments in Grid computing and Web based data storage the task of orchestrating computations is becoming ever more difficult. Identifying which of the available computati...
127
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
125
click to vote
IEAAIE
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes the use of cases as a process representation technique and shows how case base reasoning can be used to navigate through, or execute a complex control process....
133
Voted
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...