Sciweavers

4229 search results - page 95 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
AIED
2007
Springer
15 years 10 months ago
Learning Tutorial Rules Using Classification Based On Associations
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...
Xin Lu, Barbara Di Eugenio, Stellan Ohlsson
AISC
2010
Springer
15 years 2 months ago
Some Considerations on the Usability of Interactive Provers
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
Andrea Asperti, Claudio Sacerdoti Coen
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
TEC
2008
109views more  TEC 2008»
15 years 4 months ago
Particle Swarm Optimization: Basic Concepts, Variants and Applications in Power Systems
Many areas in power systems require solving one or more nonlinear optimization problems. While analytical methods might suffer from slow convergence and the curse of dimensionality...
Y. del Valle, Ganesh K. Venayagamoorthy, Salman Mo...
AAAI
2012
13 years 6 months ago
Relative Attributes for Enhanced Human-Machine Communication
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...
Devi Parikh, Adriana Kovashka, Amar Parkash, Krist...