Sciweavers

627 search results - page 121 / 126
» The Laplace-Jaynes approach to induction
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
14 years 10 months ago
Formalizing Type Operations Using the "Image" Type Constructor
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
Aleksey Nogin, Alexei Kopylov
JAIR
2006
105views more  JAIR 2006»
14 years 10 months ago
Active Learning with Multiple Views
Active learners alleviate the burden of labeling large amounts of data by detecting and asking the user to label only the most informative examples in the domain. We focus here on...
Ion Muslea, Steven Minton, Craig A. Knoblock
96
Voted
EAAI
2007
99views more  EAAI 2007»
14 years 10 months ago
Data mining for agent reasoning: A synergy for training intelligent agents
The task-oriented nature of data mining (DM) has already been dealt successfully with the employment of intelligent agent systems that distribute tasks, collaborate and synchroniz...
Andreas L. Symeonidis, Kyriakos C. Chatzidimitriou...
74
Voted
KAIS
2006
102views more  KAIS 2006»
14 years 10 months ago
Visual information extraction
Typographic and visual information is an integral part of textual documents. Most information extraction systems ignore most of this visual information, processing the text as a l...
Yonatan Aumann, Ronen Feldman, Yair Liberzon, Biny...
CIKM
2006
Springer
15 years 1 months ago
Multi-evidence, multi-criteria, lazy associative document classification
We present a novel approach for classifying documents that combines different pieces of evidence (e.g., textual features of documents, links, and citations) transparently, through...
Adriano Veloso, Wagner Meira Jr., Marco Cristo, Ma...