Sciweavers

275 search results - page 55 / 55
» Structural Information Analysis for CLP Languages
Sort
View
AIM
2006
13 years 6 months ago
Observing the use of BPM tools: A step towards flexibility
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
Joseph Heili, Jean-Mathias Heraud, Laure France
GEOINFORMATICA
2008
123views more  GEOINFORMATICA 2008»
13 years 5 months ago
Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
Reasey Praing, Markus Schneider
ISSAC
2007
Springer
177views Mathematics» more  ISSAC 2007»
13 years 11 months ago
Component-level parallelization of triangular decompositions
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
Marc Moreno Maza, Yuzhen Xie
TSD
2007
Springer
13 years 11 months ago
Lexical and Perceptual Grounding of a Sound Ontology
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...
Anna Lobanova, Jennifer Spenader, Bea Valkenier
BMCBI
2010
178views more  BMCBI 2010»
13 years 5 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling