Sciweavers

2643 search results - page 282 / 529
» Higher order messaging
Sort
View
JUCS
2006
83views more  JUCS 2006»
15 years 6 months ago
Primary School Teachers in the Information Society
: This study represents a survey approach in order to analyse the information society in a regional setting. The first part deals with a current problematic issue: the human resour...
Robert Sinka
SIAMAM
2008
121views more  SIAMAM 2008»
15 years 6 months ago
A Level Set Approach to Anisotropic Surface Evolution with Free Adatoms
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
Christina Stöcker, Axel Voigt
165
Voted
SIGPRO
2008
130views more  SIGPRO 2008»
15 years 6 months ago
Cepstrum of bispectrum - A new approach to blind system reconstruction
In this paper, an improved approach to blind deconvolution of LTI systems incorporating phase unwrapping is presented. The method can recover a noise-free estimate of the logarith...
Shahjahan Shahid, Jacqueline Walker
JAR
2007
123views more  JAR 2007»
15 years 6 months ago
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
Alberto Ciaffaglione, Luigi Liquori, Marino Micula...
TJS
2008
115views more  TJS 2008»
15 years 6 months ago
Insight into redundancy schemes in DHTs
In order to provide high data availability in peer-to-peer (P2P) DHTs, proper data redundancy schemes are required. This paper compares two popular schemes: replication and erasure...
Guihai Chen, Tongqing Qiu, Fan Wu