Sciweavers

2601 search results - page 218 / 521
» A Point in Many Triangles
Sort
View
CC
2005
Springer
115views System Software» more  CC 2005»
16 years 23 days ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...
COLT
2005
Springer
16 years 23 days ago
From Graphs to Manifolds - Weak and Strong Pointwise Consistency of Graph Laplacians
In the machine learning community it is generally believed that graph Laplacians corresponding to a finite sample of data points converge to a continuous Laplace operator if the s...
Matthias Hein, Jean-Yves Audibert, Ulrike von Luxb...
ESOP
2005
Springer
16 years 22 days ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
ESWS
2005
Springer
16 years 22 days ago
OWL-Eu: Adding Customised Datatypes into OWL
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
Jeff Z. Pan, Ian Horrocks
ICANN
2005
Springer
16 years 22 days ago
On Variations of Power Iteration
The power iteration is a classical method for computing the eigenvector associated with the largest eigenvalue of a matrix. The subspace iteration is an extension of the power iter...
Seungjin Choi