• Aucun résultat trouvé

[PDF] Top 20 A framework for Symbolic and Numeric Computations

Has 10000 "A framework for Symbolic and Numeric Computations" found on our website. Below are the top 20 most common "A framework for Symbolic and Numeric Computations".

A framework for Symbolic and Numeric Computations

A framework for Symbolic and Numeric Computations

... 101 - 54602 Villers lès Nancy Cedex France Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex France Unité de recherche INRIA Rhône-Alpes : 65[r] ... Voir le document complet

100

A Generic Framework for Symbolic Execution: Theory and Applications

A Generic Framework for Symbolic Execution: Theory and Applications

... language, a kernel of the C ++ programming language. We shall use CinK programs for illustrating various aspects of symbolic ...coinduction, a general technique for defining and ... Voir le document complet

48

A hybrid system using symbolic and numeric knowledge for the semantic annotation of sulco-gyral anatomy in brain MRI images.

A hybrid system using symbolic and numeric knowledge for the semantic annotation of sulco-gyral anatomy in brain MRI images.

... developed for labeling cortical anatom- ical structures in MRI images uses the mereo-topological rela- tions between the various cortical ...gyri and sulci repre- sented in OWL DL, the Web ontology ... Voir le document complet

16

Timed symbolic testing framework for executable models using high-level scenarios

Timed symbolic testing framework for executable models using high-level scenarios

... (3). For each sequence diagram, Diversity computes a symbolic tree, where each path denotes a possible (symbolic) execu- tion in the sequence ...Then a path is selected in step ... Voir le document complet

13

Qualitative Symbolic Perturbation: a new geometry-based perturbation framework

Qualitative Symbolic Perturbation: a new geometry-based perturbation framework

... Predicates for circular arcs arrangements To address the problem of computing arrangements of circular arcs by sweep-line algorithms, it is necessary to compare abscissae of endpoints of circular ...is a ... Voir le document complet

38

Numeric and symbolic knowledge representation of cerebral cortex anatomy: methods and preliminary results.

Numeric and symbolic knowledge representation of cerebral cortex anatomy: methods and preliminary results.

... gyri and sulci. It is used as landmarks for neurosurgery as well as localiza- tion support for functional data analysis or inter-subject data ...ability and structural properties or rely on ... Voir le document complet

8

A framework for automatic and parameterizable memoization

A framework for automatic and parameterizable memoization

... time and energy efficiency is needed for many applica- tions and usually requires sophisticated code transformations and compiler ...of computations so that future computations ... Voir le document complet

17

Observation of Distributed Computations: a Reflective Approach for CORBA

Observation of Distributed Computations: a Reflective Approach for CORBA

... observee, and the index of the method execution in which this event occurred (each observer metaobject stores the number of events and the number of method executions that have been generated so ...order, ... Voir le document complet

15

A Generalisation of the Mixture Decomposition Problem in the Symbolic Data Analysis Framework

A Generalisation of the Mixture Decomposition Problem in the Symbolic Data Analysis Framework

... 2. Symbolic objects associated to a distribution base A concept is defined by an intent (its characteristic properties, also called its "description") and an extent (the units which ... Voir le document complet

14

SYNAPS: A library for dedicated applications in symbolic numeric computing,

SYNAPS: A library for dedicated applications in symbolic numeric computing,

... structures for which effectiveness can be ...templates and to the control of their instantiations using traits and template expressions [14], they offer generic programming without losing ...library ... Voir le document complet

29

Secure and Distributed Computations for a Personal Data Management System

Secure and Distributed Computations for a Personal Data Management System

... considerable. A user may want to share her GPS position to have accurate traffic prediction [9], or her medical records to train a shared neural network so that it can detect several diseases ...to a ... Voir le document complet

3

Symbolic execution of floating-point computations

Symbolic execution of floating-point computations

... [9] and more recently GODZILLA [12] took advantage of domain re- duction techniques to prune the search space of integers ...proposed framework dealt only with constraints over integers (possibly non- ... Voir le document complet

42

Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method

Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method

... not a new problem. A long time ago, in the Ancient Greeks works, Geometry, the art of measuring the world, was already closely tied to arithmetic ...developed a complete model of computation, ... Voir le document complet

22

OTAWA, a Framework for Experimenting WCET Computations

OTAWA, a Framework for Experimenting WCET Computations

... Li and Malik [17], models the cache by a projection of the CFG according to each cache ...system and to modify the maximized function representing the ...adds a lot of new constraints ... Voir le document complet

9

A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity

A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity

... 1 and Algorithm 2 described in Subsection IV-A are implemented in the library GENOM3CK, a library we originally developed for computing the genus of a plane complex algebraic curve ... Voir le document complet

9

SYMORO+: A SYSTEM FOR THE SYMBOLIC MODELLING OF ROBOTS

SYMORO+: A SYSTEM FOR THE SYMBOLIC MODELLING OF ROBOTS

... Raghavan and Roth [7, 8], where the solution of one variables is given as a polynomial equation of degree 16 at most, then the other variables can be ...robot and the end ... Voir le document complet

22

Toward a geometric view on computations

Toward a geometric view on computations

... Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex France Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vi[r] ... Voir le document complet

20

Verification and Symbolic Test Generation for Safety Properties

Verification and Symbolic Test Generation for Safety Properties

... Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, [r] ... Voir le document complet

24

A symbolic model for timed concurrent constraint programming

A symbolic model for timed concurrent constraint programming

... (see a survey in [ 19 ]) is a well established technique for the automatic verification of ...construct a symbolic, and then compact, model of the behavior of a ntcc ...to ... Voir le document complet

18

Scientific numeric databases: their usefulness and accessibility

Scientific numeric databases: their usefulness and accessibility

... Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées. Si vous ... Voir le document complet

32

Show all 10000 documents...