Sciweavers

511 search results - page 55 / 103
» A Methodology for Extending Focusing Frameworks
Sort
View
DATAMINE
2007
103views more  DATAMINE 2007»
14 years 9 months ago
Relational peculiarity-oriented mining
Peculiarity rules are a new type of useful knowledge that can be discovered by searching the relevance among peculiar data. A main task in mining such knowledge is peculiarity iden...
Muneaki Ohshima, Ning Zhong, Yiyu Yao, Chunnian Li...
SYNTHESE
2008
88views more  SYNTHESE 2008»
14 years 9 months ago
Interpolation in computing science: the semantics of modularization
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
Gerard R. Renardel de Lavalette
ALGORITHMICA
2004
130views more  ALGORITHMICA 2004»
14 years 9 months ago
The Power of Priority Algorithms for Facility Location and Set Cover
We apply and extend the priority algorithm framework introduced by Borodin, Nielsen, and Rackoff to define "greedy-like" algorithms for the (uncapacitated) facility locat...
Spyros Angelopoulos, Allan Borodin
EDM
2009
147views Data Mining» more  EDM 2009»
14 years 7 months ago
an Argument Learning Environment Using Agent-Based ITS (ALES)
This paper presents an agent-based educational environment to teach argument analysis (ALES). The idea is based on the Argumentation Interchange Format Ontology (AIF) using "W...
Safia Abbas, Hajime Sawamura
CORR
2011
Springer
135views Education» more  CORR 2011»
14 years 1 months ago
On the Limitations of Provenance for Queries With Difference
The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive q...
Yael Amsterdamer, Daniel Deutch, Val Tannen