Sciweavers

9325 search results - page 322 / 1865
» The decentralized implementability problem
Sort
View
AC
1999
Springer
15 years 8 months ago
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
Rachid Guerraoui, Michel Hurfin, Achour Most&eacut...
APVIS
2008
15 years 6 months ago
Crossing Minimization meets Simultaneous Drawing
We define the concept of crossing numbers for simultaneous graphs by extending the crossing number problem of traditional graphs. We discuss differences to the traditional crossin...
Markus Chimani, Michael Jünger, Michael Schul...
NIPS
2008
15 years 5 months ago
Non-parametric Regression Between Manifolds
This paper discusses non-parametric regression between Riemannian manifolds. This learning problem arises frequently in many application areas ranging from signal processing, comp...
Florian Steinke, Matthias Hein
DLOG
1996
15 years 5 months ago
An HTML Interface for Classic
Several significant problems exist whenapplying knowledge representation systems to real problems. In particular, the obscurity of LISP, the resource consumption, garbage collecti...
Christopher A. Welty
GG
2008
Springer
15 years 5 months ago
Resolution-Like Theorem Proving for High-Level Conditions
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
Karl-Heinz Pennemann