Sciweavers

1013 search results - page 105 / 203
» Representational Issues in Meta-Learning
Sort
View
AIED
2009
Springer
15 years 4 months ago
Handling Uncertainty and Multiple Perspectives for Learner Modeling by Cognitive Mapping
This research deals with two issues for learner modeling: uncertainty and multiple perspectives. Hence, it proposes a process called cognitive mapping to acquire and describe objec...
Alejandro Peña Ayala
CBMS
2007
IEEE
15 years 4 months ago
Managing Conceptual Revisions in a Temporal Fungal Taxonomy
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
Arash Shaban-Nejad, Volker Haarslev
TPHOL
2007
IEEE
15 years 4 months ago
Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
Brigitte Pientka
VL
2007
IEEE
117views Visual Languages» more  VL 2007»
15 years 4 months ago
EulerView: a non-hierarchical visualization component
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
Rosario De Chiara, Andrew Fish
AUSDM
2007
Springer
144views Data Mining» more  AUSDM 2007»
15 years 4 months ago
An Empirical Study of Similarity Search in Stock Data
Using certain artificial intelligence techniques, stock data mining has given encouraging results in both trend analysis and similarity search. However, representing stock data ef...
Lay-Ki Soon, Sang Ho Lee