Sciweavers

7150 search results - page 1221 / 1430
» Graph-Based Data Mining
Sort
View
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
13 years 11 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
13 years 10 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»
13 years 10 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
COMAD
2008
13 years 10 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
13 years 10 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 »