Sciweavers

7259 search results - page 1197 / 1452
» From Fields to Trees
Sort
View
LICS
2006
IEEE
16 years 23 days ago
The Boundedness Problem for Monadic Universal First-Order Logic
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
Martin Otto
JCDL
2006
ACM
172views Education» more  JCDL 2006»
16 years 21 days ago
A comprehensive comparison study of document clustering for a biomedical digital library MEDLINE
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
Illhoi Yoo, Xiaohua Hu
ML
2006
ACM
16 years 21 days ago
Seminal: searching for ML type-error messages
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
Benjamin S. Lerner, Dan Grossman, Craig Chambers
ICPR
2010
IEEE
16 years 11 days ago
On-Line Random Naive Bayes for Tracking
—Randomized learning methods (i.e., Forests or Ferns) have shown excellent capabilities for various computer vision applications. However, it was shown that the tree structure in...
Martin Godec, Christian Leistner, Amir Saffari, Ho...
AUIC
2005
IEEE
16 years 11 days ago
Newly-discovered Group Awareness Mechanisms for Supporting Real-time Collaborative Authoring
Group awareness has become important in improving the usability of real-time, distributed, collaborative writing systems. However, the current set of implemented awareness mechani...
Gitesh K. Raikundalia, Hao Lan Zhang
« Prev « First page 1197 / 1452 Last » Next »