Sciweavers

CORR
2006
Springer
154views Education» more  CORR 2006»
13 years 11 months ago
Intra-site Level Cultural Heritage Documentation: Combination of Survey, Modeling and Imagery Data in a Web Information System
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
Anne Durand, Pierre Drap, Elise Meyer, Pierre Grus...
CORR
2006
Springer
108views Education» more  CORR 2006»
13 years 11 months ago
Two polygraphic presentations of Petri nets
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
Yves Guiraud
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 11 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
CORR
2006
Springer
111views Education» more  CORR 2006»
13 years 11 months ago
The minimum size required of a solitaire army
The solitaire army is a one-person peg jumping game where a player attempts to advance an "army" of pegs as far as possible into empty territory. The game was introduced...
George I. Bell, Daniel S. Hirschberg, Pablo Guerre...
CORR
2006
Springer
83views Education» more  CORR 2006»
13 years 11 months ago
Fast linear algebra is stable
In [12] we showed that a large class of fast recursive matrix multiplication algorithms is stable in a normwise sense, and that in fact if multiplication of n-by-n matrices can be...
James Demmel, Ioana Dumitriu, Olga Holtz
CORR
2006
Springer
78views Education» more  CORR 2006»
13 years 11 months ago
What is the probability of connecting two points ?
The two-terminal reliability, known as the pair connectedness or connectivity function in percolation theory, may actually be expressed as a product of transfer matrices in which t...
Christian Tanguy
CORR
2006
Springer
80views Education» more  CORR 2006»
13 years 11 months ago
Exact Failure Frequency Calculations for Extended Systems
This paper shows how the steady-state availability and failure frequency can be calculated in a single pass for very large systems, when the availability is expressed as a product...
Annie Druault-Vicard, Christian Tanguy
CORR
2006
Springer
104views Education» more  CORR 2006»
13 years 11 months ago
Turning Cluster Management into Data Management: A System Overview
This paper introduces the CondorJ2 cluster management system. Traditionally, cluster management systems such as Condor employ a process-oriented approach with little or no use of ...
Eric Robinson, David J. DeWitt
CORR
2006
Springer
91views Education» more  CORR 2006»
13 years 11 months ago
Experiments on predictability of word in context and information rate in natural language
Based on data from a large-scale experiment with human subjects, we conclude that the logarithm of probability to guess a word in context (unpredictability) depends linearly on the...
Dmitrii Manin
CORR
2006
Springer
106views Education» more  CORR 2006»
13 years 11 months ago
The virtual reality framework for engineering objects
A framework for virtual reality of engineering objects has been developed. This framework may simulate different equipment related to virtual reality. Framework supports 6D dynami...
Petr R. Ivankov, Nikolay P. Ivankov