Sciweavers

692 search results - page 68 / 139
» Combinatorics of Partial Derivatives
Sort
View
SAS
2007
Springer
15 years 4 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
ACSD
2006
IEEE
106views Hardware» more  ACSD 2006»
15 years 3 months ago
Synchronous + Concurrent + Sequential = Earlier than + Not later than
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
ERCIMDL
2005
Springer
100views Education» more  ERCIMDL 2005»
15 years 3 months ago
Importance of HTML Structural Elements and Metadata in Automated Subject Classification
The aim of the study was to determine how significance indicators assigned to different Web page elements (internal metadata, title, headings, and main text) influence automated cl...
Koraljka Golub, Anders Ardö
COLT
2004
Springer
15 years 3 months ago
Regularization and Semi-supervised Learning on Large Graphs
We consider the problem of labeling a partially labeled graph. This setting may arise in a number of situations from survey sampling to information retrieval to pattern recognition...
Mikhail Belkin, Irina Matveeva, Partha Niyogi
IMR
2004
Springer
15 years 3 months ago
PDE-Based Gradient Limiting for Mesh Size Functions
We propose a new method for limiting the gradients in a mesh size function by solving a non-linear partial differential equation on the background mesh. Our gradient limiting Ham...
Per-Olof Persson