Sciweavers

1389 search results - page 213 / 278
» Definability as hypercomputational effect
Sort
View
AAI
2005
138views more  AAI 2005»
13 years 8 months ago
Learning By Teaching: A New Agent Paradigm For Educational Software
This paper discusses Betty's Brain, a teachable agent in the domain of river ecosystems that combines learning by teaching with self-regulation mentoring to promote deep lear...
Gautam Biswas, Krittaya Leelawong, Daniel Schwartz...
SIGMOD
2008
ACM
100views Database» more  SIGMOD 2008»
13 years 8 months ago
Incorporating string transformations in record matching
Today's record matching infrastructure does not allow a flexible way to account for synonyms such as "Robert" and "Bob" which refer to the same name, and ...
Arvind Arasu, Surajit Chaudhuri, Kris Ganjam, Ragh...
TAP
2008
Springer
94views Hardware» more  TAP 2008»
13 years 8 months ago
Vacuity in Testing
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
Thomas Ball, Orna Kupferman
INFSOF
2007
104views more  INFSOF 2007»
13 years 8 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...
TFS
2008
174views more  TFS 2008»
13 years 8 months ago
Type-2 Fuzzy Markov Random Fields and Their Application to Handwritten Chinese Character Recognition
In this paper, we integrate type-2 (T2) fuzzy sets with Markov random fields (MRFs) referred to as T2 FMRFs, which may handle both fuzziness and randomness in the structural patter...
Jia Zeng, Zhi-Qiang Liu