Sciweavers

10156 search results - page 98 / 2032
» Step by Step to Histories
Sort
View
CONCUR
1995
Springer
15 years 10 months ago
Characterizing Behavioural Congruences for Petri Nets
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
Mogens Nielsen, Lutz Priese, Vladimiro Sassone
ESANN
2004
15 years 7 months ago
Shear strength prediction using dimensional analysis and functional networks
This paper presents a three steps methodology for predicting the failure shear effort in concrete beams. In the first step, dimensional analysis is applied to obtain several sets o...
Amparo Alonso-Betanzos, Enrique Castillo, Oscar Fo...
VMV
2001
303views Visualization» more  VMV 2001»
15 years 7 months ago
Extracting Cylinders in Full 3D Data Using a Random Sampling Method and the Gaussian Image
This paper presents a new method for extracting cylinders from an unorganized set of 3D points. The originality of this approach is to separate the extraction problem into two dis...
Thomas Chaperon, François Goulette
RECOMB
2007
Springer
16 years 6 months ago
Association Mapping of Complex Diseases with Ancestral Recombination Graphs: Models and Efficient Algorithms
Association, or LD (linkage disequilibrium), mapping is an intensely-studied approach to gene mapping (genome-wide or in candidate regions) that is widely hoped to be able to effic...
Yufeng Wu
ICWE
2004
Springer
15 years 11 months ago
Automatic Interpretation of Natural Language for a Multimedia E-learning Tool
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
Serge Linckels, Christoph Meinel