Sciweavers

7150 search results - page 1221 / 1430
» Graph-Based Data Mining
Sort
View
130
Voted
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
15 years 4 months ago
Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
Christian Bachmaier, Wolfgang Brunner
FLOPS
2008
Springer
15 years 3 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
EDM
2010
139views Data Mining» more  EDM 2010»
15 years 3 months ago
Automatic Rating of User-Generated Math Solutions
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
Turadg Aleahmad, Vincent Aleven, Robert Kraut
91
Voted
COMAD
2008
15 years 3 months ago
Personalized Web-page Rendering System
Personalized rendering of web pages gives the users greater control to view only what they prefer. The goal of this work is to provide a tool that will let users customize the con...
Swapna Raj Prabakara Raj, Balaraman Ravindran
EMNLP
2008
15 years 3 months ago
Improved Sentence Alignment on Parallel Web Pages Using a Stochastic Tree Alignment Model
Parallel web pages are important source of training data for statistical machine translation. In this paper, we present a new approach to sentence alignment on parallel web pages....
Lei Shi, Ming Zhou
« Prev « First page 1221 / 1430 Last » Next »