Sciweavers

10568 search results - page 463 / 2114
» Computer Intelligence and Formalization
Sort
View
136
Voted
SIGCSE
2002
ACM
118views Education» more  SIGCSE 2002»
15 years 4 months ago
A proposed undergraduate bioinformatics curriculum for computer scientists
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
Travis E. Doom, Michael L. Raymer, Dan E. Krane, O...
ANTSW
2010
Springer
15 years 2 months ago
Evaluating the Robustness of Activator-Inhibitor Models for Cluster Head Computation
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
Lidia Yamamoto, Daniele Miorandi
IAT
2009
IEEE
15 years 11 months ago
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
AIED
2007
Springer
15 years 11 months ago
Comparing Linguistic Features for Modeling Learning in Computer Tutoring
We compare the relative utility of different automatically computable linguistic feature sets for modeling student learning in computer dialogue tutoring. We use the PARADISE frame...
Katherine Forbes-Riley, Diane J. Litman, Amruta Pu...
157
Voted
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
15 years 10 months ago
Spoken Versus Typed Human and Computer Dialogue Tutoring
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
Diane J. Litman, Carolyn Penstein Rosé, Kat...