Sciweavers

1769 search results - page 142 / 354
» An implementation of argument based discussion
Sort
View
ICFP
2007
ACM
16 years 6 months ago
Experience report: building an eclipse-based IDE for Haskell
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
Leif Frenzel
MKM
2007
Springer
16 years 19 days ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
WEBI
2007
Springer
16 years 18 days ago
An Augmented Tagging Scheme with Triple Tagging and Collective Filtering
Collaborative tagging is increasingly drawing attentions. However the keyword based tagging scheme has its limitations and it can be observed that tagging society are seeking and ...
Jie Yang, Yutaka Matsuo, Mitsuru Ishizuka
DEXAW
2006
IEEE
130views Database» more  DEXAW 2006»
16 years 16 days ago
Exploiting Geometrical Properties on Protein Similarity Search
This paper discusses about several combinations of protein similarity measurement-methods, with respect to normalization, spatial partitions, geometrical properties, and distance ...
Saiful Akbar, Josef Küng, Roland Wagner
ICALT
2006
IEEE
16 years 16 days ago
Virtual Instructor and Pedagogical Issues
The scope of implementing a virtual instructor is to achieve enhanced learning outcomes during an autonomous training (education) sessions of a human learner. Based on the evidenc...
Avgoustos A. Tsinakos