Sciweavers

4255 search results - page 253 / 851
» Cover
Sort
View
167
Voted
ENTCS
2007
133views more  ENTCS 2007»
15 years 6 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
MR
2008
78views Robotics» more  MR 2008»
15 years 6 months ago
Dependency of thermal spreading resistance on convective heat transfer coefficient
This paper presents a study of the thermal spreading resistance Rth of a small heat source on a conductive substrate subject to bottomside convective cooling. This problem has bee...
Bjorn Vermeersch, Gilbert De Mey
LMCS
2006
119views more  LMCS 2006»
15 years 6 months ago
The monadic second-order logic of graphs XVI : Canonical graph decompositions
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...
Bruno Courcelle
NLE
2008
107views more  NLE 2008»
15 years 6 months ago
A finite-state morphological grammar of Hebrew
Morphological analysis is a crucial component of several natural language processing tasks, especially for languages with a highly productive morphology, where stipulating a full ...
S. Yona, S. Wintner
NPL
2008
68views more  NPL 2008»
15 years 6 months ago
On Nonparametric Residual Variance Estimation
In this paper, the problem of residual variance estimation is examined. The problem is analyzed in a general setting which covers non-additive heteroscedastic noise under non-iid s...
Elia Liitiäinen, Francesco Corona, Amaury Len...