2308 search results - page 377 / 462 » Representing Symbolic Reasoning |
126
click to vote
RE
1995
Springer
15 years 9 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
169
click to vote
FOIKS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
164
Voted
FAST
2010
15 years 8 months ago
2010
The cloud is poised to become the next computing environment for both data storage and computation due to its pay-as-you-go and provision-as-you-go models. Cloud storage is alread...
143
click to vote
AAAI
2007
15 years 8 months ago
2007
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
170
Voted
AAAI
2007
15 years 8 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...