Sciweavers

12697 search results - page 40 / 2540
» Call for Papers
Sort
View
NMR
2004
Springer
14 years 3 months ago
Dialogues and HY-arguments
This paper introduces a new class called hang yourself (HY) arguments into the theory of defeasible argumentation. The novelty of such arguments is that they are inherently destru...
Martin Caminada
GPC
2007
Springer
13 years 12 months ago
Towards a Peer-To-Peer Platform for High Performance Computing
This paper describes a Global Computing (GC) environment, called XtremWeb-CH (XWCH). XWCH is an improved version of a GC tool called XtremWeb (XW). XWCH tries to enrich XW in orde...
Nabil Abdennadher, Régis Boesch
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 10 months ago
Verifying Recursive Active Documents with Positive Data Tree Rewriting
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
Blaise Genest, Anca Muscholl, Zhilin Wu
CORR
2006
Springer
89views Education» more  CORR 2006»
13 years 10 months ago
On the Efficiency of Strategies for Subdividing Polynomial Triangular Surface Patches
In this paper, we investigate the efficiency of various strategies for subdividing polynomial triangular surface patches. We give a simple algorithm performing a regular subdivisio...
Jean H. Gallier
TKDE
2008
154views more  TKDE 2008»
13 years 10 months ago
Analyzing the Structure and Evolution of Massive Telecom Graphs
Abstract-- With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customer...
Amit Anil Nanavati, Rahul Singh, Dipanjan Chakrabo...