Search results for "Program"

showing 10 items of 5938 documents

A simple algorithm for finding short sigma-definite representatives

2010

We describe a new algorithm which for each braid returns a quasi-geodesic sigma-definite word representative, defined as a braid word in which the generator sigma_i with maximal index i appears either only positively or only negatively.

[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]Braid groupbraid monoids20F3620M0506F05Group Theory (math.GR)02 engineering and technology01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]Mathematics::Group TheoryMathematics::Category TheoryMathematics::Quantum AlgebraFOS: MathematicsBraidBraid group0101 mathematicsSIMPLE algorithmMathematicsDiscrete mathematicsGenerator (computer programming)algorithmAlgebra and Number Theory010102 general mathematicsSigmaComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)021001 nanoscience & nanotechnologyMathematics::Geometric Topologybraid orderingIndex (publishing)0210 nano-technologyMathematics - Group TheoryWord (computer architecture)Journal of Algebra
researchProduct

Monotone Concave Operators: An application to the existence and uniqueness of solutions to the Bellman equation

2008

We propose a new approach to the issue of existence and uniqueness of solutions to the Bellman equation, exploiting an emerging class of methods, called monotone map methods, pioneered in the work of Krasnosel’skii (1964) and Krasnosel’skii-Zabreiko (1984). The approach is technically simple and intuitive. It is derived from geometric ideas related to the study of fixed points for monotone concave operators defined on partially order spaces.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Dynamic programmingBellman equationUnbounded returnsjel:C61JEL: C61 O41[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC][SHS.ECO]Humanities and Social Sciences/Economics and FinanceDynamic programmingjel:O41Bellman equationUnbounded returnsDynamic Programming; Bellman Equation; Unbounded Returns[ SHS.ECO ] Humanities and Social Sciences/Economies and finances[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC][SHS.ECO] Humanities and Social Sciences/Economics and Finance
researchProduct

Using of a uncertainty model of an polyarticulated coordinates measuring arm to validate the measurement in a manufacturing processsus

2014

International audience; Coordinates Measuring Arms (CMA) are increasingly used to control industrial parts and are often an alternative to CMM controls that require conditions of laboratory measurement and involve significant costs. However, the control of uncertainties is often not guaranteed because the measurement process is complex and there is no standard for setting a framework qualification process of the measurement process.The proposed study, in this paper, is a first approach to model the measurement uncertainties of a CMA with contact sensor. The problem is complex because there are many sources of uncertainty, largely due to variability in the handling carried out by the operato…

[ SPI.MECA.GEME ] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]0209 industrial biotechnologyEngineeringMonte Carlo method02 engineering and technologyMetrology01 natural sciences010309 opticsCMA Modelling020901 industrial engineering & automationOperator (computer programming)Control theory0103 physical sciencesCalibration[SPI.MECA.GEME] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]SimulationGeneral Environmental Sciencebusiness.industryProcess (computing)UncertaintyCovarianceMetrology[SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]NoiseGeneral Earth and Planetary SciencesbusinessEncoderMonte Carlo Method
researchProduct

Bridging Sensing and Decision Making in Ambient Intelligence Environments

2009

Context-aware and Ambient Intelligence environments represent one of the emerging issues in the last decade. In such intelligent environments, information is gathered to provide, on one hand, autonomic and easy to manage applications, and, on the other, secured access controlled environments. Several approaches have been defined in the literature to describe context-aware application with techniques to capture and represent information related to a specified domain. However and to the best of our knowledge, none has questioned the reliability of the techniques used to extract meaningful knowledge needed for decision making especially if the information captured is of multimedia types (image…

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Ambient intelligenceComputer science02 engineering and technologycomputer.software_genreBridging (programming)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]uncertainty resolver modelHuman–computer interaction020204 information systemsResolver0202 electrical engineering electronic engineering information engineeringcontext-aware applicationsemantic-based020201 artificial intelligence & image processingData mining[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]computer
researchProduct

Reconnaissance de la Forme 3D et Estimation de la Profondeur Implémentation sur FPGA Spartan 3A d'un SoC pour la Vision 3D (Shape From Focus) Problém…

2007

Le terme de « vision 3D » ou « de numérisation 3D », est apparu à la fin des années 1990, pour désigner des techniques d'acquisition de mesures tridimensionnelle sur des surfaces, techniques ayant la caractéristique de donner des nuages de points denses et importants dont l'ordre de grandeur est de quelques dizaines à plusieurs millions de points. Le nuage de points représente en fait l'information de l'image de profondeur et selon des différents traitements à l'image on peut aboutir à un ordre de précision de la reconstitution de l'objet ou scène en 3D. La vision 3D demeure une méthodologie de base pour réassurer le mécanisme de reconstitution des images tridimensionnelles. Outre les besoi…

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV][SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics[SPI.TRON] Engineering Sciences [physics]/Electronics[INFO.INFO-ES] Computer Science [cs]/Embedded Systems[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
researchProduct

Embedded multi-spectral image processing for real-time medical application

2016

International audience; The newly introduced Kubelka-Munk Genetic Algorithm (KMGA) is a promising technique for the assessment of skin lesions from multi-spectral images. Using five skin parameter maps such as concentration or epidermis/dermis thickness, this method combines the Kubelka-Munk Light-Tissue interaction model and Genetic Algorithm optimization process to produce a quantitative measure of cutaneous tissue. Up to the present, variant improved KMGA implementations have been successfully realized using the recent parallel computing techniques. However, all these achievements are based on the multi-core CPUs. This results in a quite high cost and low practicability for the hardware …

[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]Digital signal processorSource code[ INFO ] Computer Science [cs]Computer sciencemedia_common.quotation_subject[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Image processing02 engineering and technologyARCHITECTURESLight-Tissue InteractionGenetic algorithm0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs]Embedded SystemField-programmable gate arrayFPGA[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]media_commonFlexibility (engineering)Multi-spectral image processingGenetic AlgorithmHigh-Level Synthesis FPGA IMPLEMENTATIONbusiness.industryProcess (computing)020206 networking & telecommunicationsTransplantationMODELComputer engineeringHardware and ArchitectureEmbedded system020201 artificial intelligence & image processing[ INFO.INFO-AR ] Computer Science [cs]/Hardware Architecture [cs.AR]businessHigh-Level SynthesisSoftware
researchProduct

Fast and Robust Face Detection on a Parallel Optimized Architecture implemented on FPGA

2009

In this paper, we present a parallel architecture for fast and robust face detection implemented on FPGA hardware. We propose the first implementation that meets both real-time requirements in an embedded context and face detection robustness within complex backgrounds. The chosen face detection method is the Convolutional Face Finder (CFF) algorithm, which consists of a pipeline of convolution and subsampling operations, followed by a multilayer perceptron. We present the design methodology of our face detection processor element (PE). This methodology was followed in order to optimize our implementation in terms of memory usage and parallelization efficiency. We then built a parallel arch…

[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR][INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR]BiometricsComputer sciencebusiness.industryReal-time computingComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONImage processing02 engineering and technologyFacial recognition system020202 computer hardware & architectureRobustness (computer science)Multilayer perceptron0202 electrical engineering electronic engineering information engineeringMedia Technology020201 artificial intelligence & image processing[ INFO.INFO-AR ] Computer Science [cs]/Hardware Architecture [cs.AR]Electrical and Electronic EngineeringField-programmable gate arraybusinessFace detectionComputer hardwareComputingMilieux_MISCELLANEOUS
researchProduct

XA2C Framework for XML Alteration/Adaptation

2010

XML has crossed the borders of software engineering and has spread to other areas such as e-commerce, identification, information storage, instant messaging and others. It is used to communicate crucial data over these domains. Thus, allowing non-expert programmers to manipulate and control their XML data is essential. In the literature, this issue has been dealt with from 3 perspectives: (i) XML alteration/adaptation techniques requiring a certain level of expertise to be implemented and are not unified yet, (ii) mashups, which are not formally defined yet and are not specific to XML data, and (iii) XML-oriented visual languages based on structural transformations and data extraction mainl…

[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]DatabaseProgramming languagecomputer.internet_protocolComputer science02 engineering and technologycomputer.software_genre[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]Set (abstract data type)Identification (information)Visual languageData extraction020204 information systems[ INFO.INFO-PL ] Computer Science [cs]/Programming Languages [cs.PL]0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingMashupControl (linguistics)Adaptation (computer science)computerXMLComputingMilieux_MISCELLANEOUS
researchProduct

Towards an XML Adaptation/Alteration Control Framework

2010

International audience

[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL][ INFO.INFO-PL ] Computer Science [cs]/Programming Languages [cs.PL]ComputingMilieux_MISCELLANEOUS[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
researchProduct

COBieOWL, an OWL ontology based on COBie standard

2015

International audience; Building Information Modelling (BIM) standards have been recognized by construction and political actors as a highly promising tool for resolving issues of data dematerialization, notably in the field of Architecture, Engineering, Construction and Facility Management. Among worldwide-adopted BIM standards, there is COBie. COBie’s goals are to dematerialize building data and to enhance building information interoperability. Nevertheless, COBie data is available in static formats such as STEP or spreadsheet templates. Such formats lack logical formalisms and semantic features provided by languages such as OWL. Because of this, in this paper, we propose a method for sem…

[INFO.INFO-WB] Computer Science [cs]/WebComputer science[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]0211 other engineering and technologies[ INFO.INFO-WB ] Computer Science [cs]/Web02 engineering and technologyCOBieOntology (information science)Semantic heterogeneityWorld Wide WebFacility management020204 information systemsFOAF021105 building & construction0202 electrical engineering electronic engineering information engineeringBuilding OntologyBuilding Information Modellingspreadsheet-to-OWLcomputer.programming_languagebusiness.industry[INFO.INFO-WB]Computer Science [cs]/WebWeb Ontology Languagecomputer.file_formatLinked dataRotation formalisms in three dimensions[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]Building information modelingLinked Data[ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH]COBieOWLbusinessSoftware engineeringcomputer
researchProduct