Search results for "ACM"

showing 10 items of 57 documents

Smart camera based on an Embedded HW/SW Co-Processor

2008

Abstract This paper describes an image acquisition and a processing system based on a new coprocessor architecture designed for CMOS sensor imaging. The system exploits the full potential CMOS selective access imaging technology because the coprocessor unit is integrated into the image acquisition loop. The acquisition and coprocessing architecture are compatible with the majority of CMOS sensors. It enables the dynamic selection of a wide variety of acquisition modes as well as the reconfiguration and implementation of high-performance image preprocessing algorithms (calibration, filtering, denoising, binarization, pattern recognition). Furthermore, the processing and data transfer, from t…

CoprocessorGeneral Computer ScienceComputer sciencelcsh:TK7800-836002 engineering and technology0202 electrical engineering electronic engineering information engineeringSmart camera[ INFO.INFO-ES ] Computer Science [cs]/Embedded SystemsField-programmable gate arrayComputingMilieux_MISCELLANEOUSFPGACMOS sensorSmart Camerabusiness.industry020208 electrical & electronic engineeringlcsh:ElectronicsACMControl reconfiguration020206 networking & telecommunicationsModular designco-processorCMOSControl and Systems EngineeringEmbedded systemPattern recognition (psychology)embedded processing[INFO.INFO-ES]Computer Science [cs]/Embedded Systemsbusinesspostal sortingComputer hardwareComputer Science(all)
researchProduct

Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics

2007

The original publication is available at www.springerlink.com ; ISBN 978-3-540-75519-7 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, \ie surfaces of algebraic degree~2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the adjacency graph of the arrangement. Our implementation is {\em complete} in the sense that it can handle all kinds of…

Discrete mathematicsDegree (graph theory)ComputationDegenerate energy levelsACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms020207 software engineering010103 numerical & computational mathematics02 engineering and technology[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]01 natural sciencesACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: EfficiencyCombinatoricsIntersection0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)Adjacency listGravitational singularity0101 mathematicsAlgebraic numberACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysisMathematics
researchProduct

Transforming XML documents to OWL ontologies: A survey

2015

The aims of XML data conversion to ontologies are the indexing, integration and enrichment of existing ontologies with knowledge acquired from these sources. The contribution of this paper consists in providing a classification of the approaches used for the conversion of XML documents into OWL ontologies. This classification underlines the usage profile of each conversion method, providing a clear description of the advantages and drawbacks belonging to each method. Hence, this paper focuses on two main processes, which are ontology enrichment and ontology population using XML data. Ontology enrichment is related to the schema of the ontology (TBox), and ontology population is related to …

Document Structure Description[ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR][ INFO.INFO-TT ] Computer Science [cs]/Document and Text ProcessingComputer scienceEfficient XML Interchange[ INFO.INFO-WB ] Computer Science [cs]/WebLibrary and Information SciencesOntology (information science)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]XML Schema EditorStreaming XMLRELAX NG[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]computer.programming_languageOWLInformation retrievalOntology[INFO.INFO-WB]Computer Science [cs]/WebACM[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Web Ontology LanguageXML validationcomputer.file_formatXML[INFO.INFO-TT]Computer Science [cs]/Document and Text Processing[INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]ComputingMethodologies_DOCUMENTANDTEXTPROCESSING[ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]computerInformation Systems
researchProduct

Les évaluations internationales menées dans les pays pauvres sont-elles fiables ?

2012

National audience; Cet article passe en revue les principales études internationales d'évaluation qui sont menées dans le contexte des pays pauvres, et souligne l'absence d'éléments empiriques permettant d'apprécier le degré d'appariement des tests aux programmes scolaires. A titre d'illustration, nous évaluons la sensibilité d'un test international en comparant les réponses apportées à un même instrument par des élèves qui fréquentent deux années d'études consécutives. En utilisant la méthode du score de propension, qui permet de controler les caractéristiques des élèves et des enseignants, nous montrons que le test est imparfaitement calibré, ce qui remet probablement en cause les conclus…

Enquête PASECEnquête SACMEQ[SHS.EDU]Humanities and Social Sciences/Education[SHS.EDU] Humanities and Social Sciences/EducationÉvaluation internationale[ SHS.EDU ] Humanities and Social Sciences/EducationPays en développementEnquête LLECEEnquête MLA
researchProduct

Splicing Systems from Past to Future: Old and New Challenges

2014

A splicing system is a formal model of a recombinant behaviour of sets of double stranded DNA molecules when acted on by restriction enzymes and ligase. In this survey we will concentrate on a specific behaviour of a type of splicing systems, introduced by P\u{a}un and subsequently developed by many researchers in both linear and circular case of splicing definition. In particular, we will present recent results on this topic and how they stimulate new challenging investigations.

FOS: Computer and information sciencesDiscrete Mathematics (cs.DM)[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Formal Languages and Automata Theory (cs.FL)Splicing Systems Formal Languages.ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal LanguagesACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting SystemsComputer Science - Formal Languages and Automata TheorySplicing Systems Formal languages Regular languages DNA computingComputingMilieux_MISCELLANEOUS[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Computer Science - Discrete Mathematics
researchProduct

A platform for the development and the validation of HW IP components starting from reference software specifications

2008

Abstract Signal processing algorithms become more and more efficient as a result of the developments of new standards. It is particularly true in the field video compression. However, at each improvement in efficiency and functionality, the complexity of the algorithms is also increasing. Textual specifications, that in the past were the original form of specifications, have been substituted by reference software which became the starting point of any design flow leading to implementation. Therefore, designing an embedded application has become equivalent to port a generic software on a, possibly heterogeneous, embedded platform. Such operation is getting more and more difficult because of …

General Computer ScienceComputer sciencelcsh:TK7800-836002 engineering and technologycomputer.software_genre0202 electrical engineering electronic engineering information engineeringSoftware verification and validation[ INFO.INFO-ES ] Computer Science [cs]/Embedded SystemsSoftware design descriptionComputingMilieux_MISCELLANEOUSbusiness.industrylcsh:ElectronicsACMSoftware development020202 computer hardware & architectureSoftware frameworkComputer architectureControl and Systems EngineeringEmbedded systemSoftware constructionComponent-based software engineeringSoftware designAvionics software020201 artificial intelligence & image processing[INFO.INFO-ES]Computer Science [cs]/Embedded SystemsbusinesscomputerComputer Science(all)
researchProduct

Space and Light, Towards an Interactive Simulation of Lighting

2003

International audience; Une image est une vue, à un instant donné, de l'équilibre lumineux présent dans une scène. Cet équilibre résulte d'un système complexe où l'énergie provenant des sources est re-distribuée dans l'espace par les matériaux appliqués aux formes. Si cet équilibre est perturbé par une modification des conditions lumineuses, l'image précédente n'est plus valide. En cela elle ne représente qu'un instant d'un lieu et non le lieu lui même. Nous proposons ici une approche pour la simulation interactive de l'éclairage dans une scène complexe. Une application à cette étude étant la production d'images vivantes et confondantes dans le cadre de la réalité augmentée.

Global illumination simulation[INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR]Illumination globalelumière interactiveimages confondantesACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]
researchProduct

Languages associated with saturated formations of groups

2013

International audience; In a previous paper, the authors have shown that Eilenberg's variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.; Dans un article précédent, les auteurs avaient montré comment étendre le théorème des variétés d'Eilenberg à des structures plus g…

Group formationGeneral MathematicsFinite monoid[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]0102 computer and information sciences01 natural sciencesregular languageRegular languageÁlgebra0101 mathematicsValenciaMathematicsFinite groupbiologyApplied Mathematics010102 general mathematicsACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal LanguagesRegular languagebiology.organism_classificationAlgebra010201 computation theory & mathematicsMSC 68Q70 20D10 20F17 20M25finite groupsaturated formationformationsFinite automata
researchProduct

Data from: Phylogenomics of Lophotrochozoa with consideration of systematic error

2021

Phylogenomic studies have improved understanding of deep metazoan phylogeny and show promise for resolving incongruences among analyses based on limited numbers of loci. One region of the animal tree that has been especially difficult to resolve, even with phylogenomic approaches, is relationships within Lophotrochozoa (the animal clade that includes molluscs, annelids, and flatworms among others). Lack of resolution in phylogenomic analyses could be due to insufficient phylogenetic signal, limitations in taxon and/or gene sampling, or systematic error. Here, we investigated why lophotrochozoan phylogeny has been such a difficult question to answer by identifying and reducing sources of sys…

Helobdella robustaGlycera dibranchiataMytilus edulisAnnelidaEntalina tetragonaLeptochiton asellusCerebratulus marginatusLoxosomella cf. viviparaGraptacme eboreaLineus longissimusmedicine and health careClymenella torquataRuditapes philippinarumNucella lapillusHaliotis rufescenslong branch attractionPlatyzoaBarentsia gracilisPriapulus caudatusLineus ruberAlitta virenssaturationProchaetoderma californicumLife SciencesPinctada fucataSchistosoma mansoniPolyzoaCephalothrix hongkongensisRhyssoplax olivaceusLoxosoma pectinaricolaPhascolosoma agassiziiAdineta vagaDrosophila melanogasterEntoproctaBugula neritinaPhoronis vancouverensisMedicineNovocrania anomalaVillosa lienosaDaphnia pulexSagitta sp.Pectinaria gouldiiSymbion americanusNuculana pernulaSepia esculentaEnucula tenuisSolemya velumLineus lacteusTubulanus polymorphus-StruckGnathostomula paradoxaBoccardia proboscideaMacellomenia schanderiLaevipilina hyalinaTubulanus polymorphus-HalanychBryozoaPomatoceros lamarckiiSepioteuthis lessonianaParanemertes peregrinaMalacobdella grossaHemithiris psittaceaLeptochiton rugatusTrochozoaBrachionus plicatilisSpathoderma clenchiLaqueus californicusPatella vulgataLottia giganteaCrepidula fornicataPhoronidaAplysia californicaGlottidia pyramidataPhoronis psammophilaSchmidtea mediterraneaAlexandromenia crassaBrachiopodaMegadasys sp.Octopus vulgarisCapitella teletaNeomenia carinatacompositional heterogeneityNemerteaPhenacolepas pulchellaGadila tolmieiMolluscaMacrodasys sp.Crassostrea gigasPedicellina cernuaTaenia pisiformisDosidicus gigasCephalothrix linearisSpiralia
researchProduct

Data from: Phylogenomics of Lophotrochozoa with consideration of systematic error

2016

Phylogenomic studies have improved understanding of deep metazoan phylogeny and show promise for resolving incongruences among analyses based on limited numbers of loci. One region of the animal tree that has been especially difficult to resolve, even with phylogenomic approaches, is relationships within Lophotrochozoa (the animal clade that includes molluscs, annelids, and flatworms among others). Lack of resolution in phylogenomic analyses could be due to insufficient phylogenetic signal, limitations in taxon and/or gene sampling, or systematic error. Here, we investigated why lophotrochozoan phylogeny has been such a difficult question to answer by identifying and reducing sources of sys…

Helobdella robustaGlycera dibranchiataMytilus edulisAnnelidaEntalina tetragonaLeptochiton asellusCerebratulus marginatusLoxosomella cf. viviparaGraptacme eboreaLineus longissimusmedicine and health careClymenella torquataRuditapes philippinarumNucella lapillusHaliotis rufescenslong branch attractionPlatyzoaBarentsia gracilisPriapulus caudatusLineus ruberAlitta virenssaturationProchaetoderma californicumPinctada fucataSchistosoma mansoniLife sciencesPolyzoaCephalothrix hongkongensisRhyssoplax olivaceusLoxosoma pectinaricolaPhascolosoma agassiziiAdineta vagaDrosophila melanogasterEntoproctaBugula neritinaPhoronis vancouverensisMedicineNovocrania anomalaVillosa lienosaDaphnia pulexSagitta sp.Pectinaria gouldiiSymbion americanusNuculana pernulaSepia esculentaEnucula tenuisSolemya velumLineus lacteusTubulanus polymorphus-StruckGnathostomula paradoxaBoccardia proboscideaMacellomenia schanderiLaevipilina hyalinaTubulanus polymorphus-HalanychBryozoaPomatoceros lamarckiiSepioteuthis lessonianaParanemertes peregrinaMalacobdella grossaHemithiris psittaceaLeptochiton rugatusTrochozoaBrachionus plicatilisSpathoderma clenchiLaqueus californicusPatella vulgataLottia giganteaCrepidula fornicataPhoronidaAplysia californicaGlottidia pyramidataPhoronis psammophilaSchmidtea mediterraneaAlexandromenia crassaBrachiopodaMegadasys sp.Octopus vulgarisCapitella teletaNeomenia carinatacompositional heterogeneityNemerteaPhenacolepas pulchellaGadila tolmieiMolluscaMacrodasys sp.Crassostrea gigasPedicellina cernuaTaenia pisiformisDosidicus gigasCephalothrix linearisSpiralia
researchProduct