Publicaciones en la fuente Lecture Notes in Computer Science

Tipo Año Título Fuente
Ponencia2021Autonomous driving of a rover-like robot using neuromorphic computingLecture Notes in Computer Science
Ponencia2021Building Hierarchical Tree Representations Using Homological-Based ToolsLecture Notes in Computer Science
Ponencia2021Composite generalized elliptic curve-based surface reconstructionLecture Notes in Computer Science
Ponencia2021Design patterns for board-based collaborative work management toolsLecture Notes in Computer Science
Ponencia2021Evaluation of the transformer architecture for univariate time series forecastingLecture Notes in Computer Science
Ponencia2021Failure and communication in a synchronized multi-drone systemLecture Notes in Computer Science
Ponencia2021Image = structure + few colorsLecture Notes in Computer Science
Ponencia2021Nearest neighbors-based forecasting for electricity demand time series in streamingAdvances in Artificial Intelligence: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22–24, 2021, Proceedings
Ponencia2021On topological analysis of cells organization in biological imagesLecture Notes in Computer Science
Editorial2021PrefaceAdvances in Artificial Intelligence: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22–24, 2021, Proceedings
Capítulo2021Product optimization in stepwise designLogic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday
Ponencia2021The experience “Mondrian from inside”. An immersive and interactive virtual reality experience in artLecture Notes in Computer Science
Ponencia2021Toward XAI & human synergies to explain the history of art: the Smart Photobooth projectLecture Notes in Computer Science
Ponencia2020A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in nDLecture Notes in Computer Science
Ponencia2020A parallelized variant of Junker’s QuickXPlain algorithmLecture Notes in Computer Science
Ponencia2020A proposal to evolving towards digital twins in healthcareLecture Notes in Computer Science
Ponencia2020Definition and verification of security configurations of cyber-physical systemsLecture Notes in Computer Science
Ponencia2020Euler Well-ComposednessLecture Notes in Computer Science
Ponencia2020IoMT-Driven eHealth: a technological innovation proposal based on smart speakersBioinformatics and biomedical engineering
Ponencia2020PBIL for optimizing hyperparameters of convolutional neural networks and STL decompositionLecture Notes in Computer Science
Ponencia2020RESTest: black-box constraint-based testing of RESTful web APIsLecture Notes in Computer Science
Ponencia2020Secure management of IoT devices based on blockchain non-fungible tokens and physical unclonable functionsLecture Notes in Computer Science
Ponencia2019A Catalogue of Inter-parameter Dependencies in RESTful Web APIsLecture Notes in Computer Science
Ponencia2019A Method to Improve the Early Stages of the Robotic Process Automation LifecycleADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019)
Ponencia2019Addressing Security Properties in Systems of Systems: Challenges and IdeasLecture Notes in Computer Science
Ponencia2019An approach for the automated generation of engaging dashboardsLecture Notes in Computer Science
Ponencia2019An automated fall detection system using recurrent neural networksARTIFICIAL INTELLIGENCE IN MEDICINE, AIME 2019
Ponencia2019Automating SLA-Driven API Development with SLA4OAILecture Notes in Computer Science
Ponencia2019AYNEC: All you need for evaluating completion techniques in knowledge graphsSEMANTIC WEB, ESWC 2019
Ponencia2019Characterising epithelial tissues using persistent entropyLecture Notes in Computer Science
Ponencia2019Computing and reducing slope complexesLecture Notes in Computer Science
Ponencia2019Computing the component-labeling and the adjacency tree of a binary digital image in near logarithmic-timeLecture Notes in Computer Science
Ponencia2019Congratulations! Dual Graphs Are Now Orientated!GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, GBRPR 2019
Ponencia2019Convolutional neural networks for olive oil classificationFROM BIOINSPIRED SYSTEMS AND BIOMEDICAL APPLICATIONS TO MACHINE LEARNING, PT II
Capítulo2019CyberParks Songs and Stories - Enriching Public Spaces with Localized Culture Heritage Material such as Digitized Songs and StoriesCYBERPARKS - THE INTERFACE BETWEEN PEOPLE, PLACES AND TECHNOLOGY: NEW APPROACHES AND PERSPECTIVES
Ponencia2019Does your accurate process predictive monitoring model give reliable predictions?Lecture Notes in Computer Science
Ponencia2019ELECTRA: Induced usage limitations calculation in RESTful APIsLecture Notes in Computer Science
Ponencia2019Enhanced Parallel Generation of Tree Structures for the Recognition of 3D ImagesPATTERN RECOGNITION, MCPR 2019
Ponencia2019Generating second order (co)homological information within at-model contextLecture Notes in Computer Science
Ponencia2019History-aware dynamic process fragmentation for risk-aware resource allocationLecture Notes in Computer Science
Ponencia2019Homological Region Adjacency Tree for a 3D Binary Digital Image via HSF ModelCOMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2019, PT I
Capítulo2019Labeled Network Allocation Problems. An Application to Transport SystemsLecture Notes in Computer Science
Capítulo2019Looking for emotions on a single EEG signalLecture Notes in Computer Science
Ponencia2019Maths, Computation and Flamenco: Overview and ChallengesMATHEMATICS AND COMPUTATION IN MUSIC, MCM 2019
Ponencia2019Minimal-Time Trajectories for Interception of Malicious Drones in Constrained EnvironmentsCOMPUTER VISION SYSTEMS (ICVS 2019)
Ponencia2019On the space between critical pointsLecture Notes in Computer Science
Ponencia2019One more step towards well-composedness of cell complexes over nD picturesLecture Notes in Computer Science
Ponencia2019Persistent homology computation using combinatorial map simplificationLecture Notes in Computer Science
Editorial2019PrefaceLecture Notes in Computer Science
Ponencia2019Random Hyper-parameter Search-Based Deep Neural Network for Power Consumption ForecastingADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2019, PT I
Ponencia2019Refined Deep Learning for Digital Objects Recognition via Betti InvariantsCOMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2019, PT I
Ponencia2019Topological homogeneity for electron microscopy imagesLecture Notes in Computer Science
Capítulo2019Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challengesLecture Notes in Computer Science
Ponencia2019Towards emotion recognition: A persistent entropy applicationLecture Notes in Computer Science
Artículo2019Variability Modelling and Analysis During 30 YearsLecture Notes in Computer Science
Ponencia2019Vision and crowdsensing technology for an optimal response in physical-securityLecture Notes in Computer Science
Ponencia2018A hybrid approach to mining conditionsHYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018)
Ponencia2018A hybrid genetic-bootstrapping approach to link resources in the web of dataHYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018)
Capítulo2018A kernel-based membrane clustering algorithmLecture Notes in Computer Science
Capítulo2018A simulation workflow for membrane computing: From MeCoSim to PMCGPU through P-LinguaLecture Notes in Computer Science
Ponencia2018Applying model-driven web engineering to the testing phase of the ADAGIO projectLecture Notes in Computer Science
Ponencia2018Artificial Decision Maker Driven by PSO: An Approach for Testing Reference Point Based Interactive MethodsPARALLEL PROBLEM SOLVING FROM NATURE - PPSN XV, PT I
Ponencia2018Automatic Breast Cancer Grading of Histological Images Based on Colour and Texture DescriptorsLecture Notes in Computer Science
Ponencia2018Clinical processes - The killer application for constraint-based process interactions?ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018
Ponencia2018Counting membrane systemsLecture Notes in Computer Science
Capítulo2018Design patterns for efficient solutions to NP-complete problems in membrane computingLecture Notes in Computer Science
Ponencia2018Expressing measurement uncertainty in OCL/UML datatypesMODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018)
Ponencia2018Extending the Speed-Constrained Multi-objective PSO (SMPSO) with Reference Point Based Preference ArticulationPARALLEL PROBLEM SOLVING FROM NATURE - PPSN XV, PT I
Editorial2018ForewordLecture Notes in Computer Science
Ponencia2018GreeAODV: An Energy Efficient Routing Protocol for Vehicular Ad Hoc NetworksINTELLIGENT COMPUTING METHODOLOGIES, ICIC 2018, PT III
Libro2018Intelligent Data Engineering and Automated Learning – IDEAL 2018Lecture Notes in Computer Science
Ponencia2018Managing uncertain complex events in web of things applicationsLecture Notes in Computer Science
Ponencia2018Maximum Box Problem on Stochastic PointsLATIN 2018: THEORETICAL INFORMATICS
Capítulo2018Membrane computing as a modelling tool: Looking back and forward from SevillaLecture Notes in Computer Science
Ponencia2018On the relationships between decision management and performance measurementADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018
Ponencia2018Optimum Network/Framework Selection from High-Level Specifications in Embedded Deep Learning Vision ApplicationsADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, ACIVS 2018
Capítulo2018Other buds in membrane computingLecture Notes in Computer Science
Ponencia2018Reconstruction by low cost software based on photogrammetry as a reverse engineering processVIRTUAL, AUGMENTED AND MIXED REALITY: INTERACTION, NAVIGATION, VISUALIZATION, EMBODIMENT, AND SIMULATION, VAMR 2018, PT I
Ponencia2018Sensor-Mesh-Based System with Application on Sleep StudyLecture Notes in Computer Science
Ponencia2018SLA-Driven Governance for RESTful SystemsSERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS
Ponencia2018SmartFD: A Real Big Data Application for Electrical Fraud DetectionHYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018)
Ponencia2018Spiking hough for shape recognitionLecture Notes in Computer Science
Ponencia2018Splitting schemes for mixtures of nematic-isotropic flows with anchoring effectsLARGE-SCALE SCIENTIFIC COMPUTING, LSSC 2017
Ponencia2017A Fuzzy Colour Model Sensitive to the Context: Study Cases Using PRAGR and LogicsMODELING DECISIONS FOR ARTIFICIAL INTELLIGENCE (MDAI 2017)
Ponencia2017A microcontroller based system for controlling patient respiratory guidelinesLecture Notes in Computer Science
Ponencia2017A Multi-objective Optimization Framework for Multiple Sequence Alignment with MetaheuristicsBIOINFORMATICS AND BIOMEDICAL ENGINEERING, IWBBIO 2017, PT II
Ponencia2017A Sensor Grid for Pressure and Movement Detection Supporting Sleep Phase AnalysisBIOINFORMATICS AND BIOMEDICAL ENGINEERING, IWBBIO 2017, PT II
Ponencia2017A SpiNNaker Application: Design, Implementation and Validation of SCPGsADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I
Ponencia2017Accuracy Improvement of Neural Networks Through Self-Organizing-Maps over Training DatasetsADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I
Ponencia2017An analysis of RESTful APIs offerings in the industryLecture Notes in Computer Science
Ponencia2017An automatic and intelligent system for integrated healthcare processes managementLecture Notes in Computer Science
Ponencia2017Automated analysis of cloud offerings for optimal service provisioningLecture Notes in Computer Science
Ponencia2017Automatic Detection of Globules, Streaks and Pigment Network Based on Texture and Color Analysis in Dermoscopic ImagesIMAGE ANALYSIS AND RECOGNITION, ICIAR 2017
Artículo2017Automatic tool for optic disc and cup detection on retinal fundus imagesLecture Notes in Computer Science
Ponencia2017Comprehensive Evaluation of OpenCL-Based CNN Implementations for FPGAsADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II
Ponencia2017Enriching Decision Making with Data-Based Thresholds of Process-Related KPIsADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017)
Ponencia2017Existing Approaches to Smart Parking: An OverviewSMART CITIES
Ponencia2017Labeling Color 2D Digital Images in Theoretical Near Logarithmic TimeCOMPUTER ANALYSIS OF IMAGES AND PATTERNS
Ponencia2017Low dimensionality or same subsets as a result of feature selection: An in-depth roadmapLecture Notes in Computer Science
Ponencia2017Multi-objective big data optimization with jMetal and sparkLecture Notes in Computer Science
Ponencia2017Neuromorphic Approach Sensitivity Cell Modeling and FPGA ImplementationARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2017, PT I
Ponencia2017Neuronal texture analysis in murine model of down’s syndromeADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II
Editorial2017PrefaceLecture Notes in Computer Science
Ponencia2017Solving the Bin-Packing Problem by Means of Tissue P System with 2-DivisionUNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2017
Ponencia2017Space-Variant Gabor Decomposition for Filtering 3D Medical ImagesCOMPUTER ANALYSIS OF IMAGES AND PATTERNS
Ponencia2017Topological Data Analysis for Self-organization of Biological TissuesCOMBINATORIAL IMAGE ANALYSIS, IWCIA 2017
Ponencia2017Toward Parallel Computation of Dense Homotopy Skeletons for nD Digital ObjectsCOMBINATORIAL IMAGE ANALYSIS, IWCIA 2017
Ponencia2017Understanding matching data through their partial componentsLecture Notes in Computer Science
Ponencia2017Using abstract stobjs in ACL2 to compute matrix normal formsLecture Notes in Computer Science
Ponencia2016A framework for modelling local human-robot interactions based on unsupervised learningLecture Notes in Computer Science
Ponencia2016A Nearest Neighbours-Based Algorithm for Big Time Series Data ForecastingHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2016A new multi-objective approach for molecular docking based on rmsd and binding energyLecture Notes in Computer Science
Ponencia2016A Parallel Implementation for Computing the Region-Adjacency-Tree of a Segmentation of a 2D Digital ImageIMAGE AND VIDEO TECHNOLOGY - PSIVT 2015 WORKSHOPS
Ponencia2016A Preliminary Study of the Suitability of Deep Learning to Improve LiDAR-Derived Biomass EstimationHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2016A Sensor Fusion Horse Gait Classification by a Spiking Neural Network on SpiNNakerARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT I
Ponencia2016A Study of Archiving Strategies in Multi-objective PSO for Molecular DockingSWARM INTELLIGENCE
Ponencia2016Accuracy Increase on Evolving Product Unit Neural Networks via Feature Subset SelectionHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2016An Approach to Silhouette and Dunn Clustering Indices Applied to Big Data in SparkADVANCES IN ARTIFICIAL INTELLIGENCE, CAEPIA 2016
Ponencia2016Automated Detection of Diabetic Macular Edema Risk in Fundus ImagesBIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2016)
Ponencia2016Automatic Enforcement of Security PropertiesTRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS
Ponencia2016Biclustering of Gene Expression Data Based on SimUI Semantic Similarity MeasureHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2016Designing a Topological Algorithm for 3D Activity RecognitionCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016
Ponencia2016Discovery of Genes Implied in Cancer by Genetic Algorithms and Association RulesHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2016Dynamic multi-objective optimization with jMetal and Spark: A case studyLecture Notes in Computer Science
Ponencia2016Efficient and Customisable Declarative Process Mining with SQLADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016)
Ponencia2016Encoding specific 3D polyhedral complexes using 3D binary imagesLecture Notes in Computer Science
Ponencia2016Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical ComplexesCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016
Ponencia2016Future and emergent trends in language technology: First international workshop, FETLT 2015 Seville, Spain, november 19–20, 2015 revised selected papersLecture Notes in Computer Science
Ponencia2016Inter-observer Reliability and Agreement Study on Early Diagnosis of Diabetic Retinopathy and Diabetic Macular Edema RiskBIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2016)
Ponencia2016Introduction to the 2nd workshop on resource management in service-oriented computing (RMSOC) 2015Lecture Notes in Computer Science
Ponencia2016Learning robot navigation behaviors by demonstration using a RRT* plannerLecture Notes in Computer Science
Ponencia2016Multilayer Spiking Neural Network for Audio Samples Classification Using SpiNNakerARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT I
Ponencia2016Narrowing the business-IT gap in process performance measurementADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016)
Ponencia2016On Homotopy Continuation for Speech RestorationCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016
Ponencia2016Parallel Homology Computation of MeshesCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016
Editorial2016PrefaceLecture Notes in Computer Science
Editorial2016PrefaceLecture Notes in Computer Science
Ponencia2016Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLsSOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS
Ponencia2016Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific LanguagesSOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS
Ponencia2016Search-Based Model Transformations with MOMoTTHEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2016
Ponencia2016Separating Topological Noise from Features Using Persistent EntropySOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016)
Ponencia2016Simulating reputation with regulatory policies: The case of San Jerónimo vegetable garden, Seville, SpainLecture Notes in Computer Science
Ponencia2016Sound Recognition System Using Spiking and MLP Neural NetworksARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT II
Capítulo2016The Core for Games with Cooperation StructureTRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XXIII
Ponencia2016The role of small robots in designed play workshops in centers of adults with cerebral palsyCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2016, PT I
Ponencia2016Topological Comparisons of Fluvial Reservoir Rock Volumes Using Betti Numbers: Application to CO2 Storage Uncertainty AnalysisCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016
Ponencia2016TRIQ: A comprehensive evaluation measure for triclustering algorithmsLecture Notes in Computer Science
Ponencia2016Two measures for the homology groups of binary volumesLecture Notes in Computer Science
Ponencia2016Using Models at Runtime to Adapt Self-managed Agents for the IoTMULTIAGENT SYSTEM TECHNOLOGIES, MATES 2016
Ponencia2015A Fingerprint Retrieval Technique Using Fuzzy Logic-Based RulesARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I
Ponencia2015A New Strategy to Improve the Performance of PDP-Systems SimulatorsMEMBRANE COMPUTING (CMC 2015)
Ponencia2015A Particle-Filter Approach for Active Perception in Networked Robot SystemsSOCIAL ROBOTICS (ICSR 2015)
Ponencia2015Advertising liking recognition technique applied to neuromarketing by using low-cost EEG headsetBIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II
Ponencia2015An Efficient Nearest Neighbor Method for Protein Contact PredictionHYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2015)
Ponencia2015Asynchronous spiking neural p systems with structural plasticityLecture Notes in Computer Science
Ponencia2015Cellular Skeletons: A New Approach to Topological Skeletons with Geometric FeaturesCOMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2015, PT II
Ponencia2015Computing Partial Recursive Functions by Virus MachinesMEMBRANE COMPUTING (CMC 2015)
Ponencia2015Data Cleansing Meets Feature Selection: A Supervised Machine Learning ApproachBIOINSPIRED COMPUTATION IN ARTIFICIAL SYSTEMS, PT II
Ponencia2015Dynamic Deployment and Monitoring of Security PoliciesTRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS
Ponencia2015Finding unknown nodes in phylogenetic graphsBIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT I
Ponencia2015Heart rate variability indicating stress visualized by correlations plotsBIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II
Ponencia2015Improving Earthquake Prediction with Principal Component Analysis: Application to ChileHYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2015)
Ponencia2015Improving Spanish Polarity Classification Combining Different Linguistic ResourcesNATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, NLDB 2015
Ponencia2015LBP and Irregular Graph PyramidsCOMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2015, PT II
Ponencia2015Mining Project-Oriented Business ProcessesBUSINESS PROCESS MANAGEMENT, BPM 2015
Ponencia2015Modelling Service Level Agreements for Business Process Outsourcing ServicesADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015
Ponencia2015Multi-stage biomarker models for progression estimation in Alzheimer’s diseaseLecture Notes in Computer Science
Ponencia2015On Member Labelling in Social NetworksADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II
Ponencia2015Patient lifecycle management: An approach for clinical processesBIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II
Ponencia2015Public and secret forgetting of propositional formulasADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015)
Ponencia2015RALph: A Graphical Notation for Resource Assignments in Business ProcessesADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015
Ponencia2015Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platformsMEMBRANE COMPUTING (CMC 2015)
Ponencia2015Spatiotemporal barcodes for image sequence analysisLecture Notes in Computer Science
Ponencia2015Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum ProblemMEMBRANE COMPUTING (CMC 2015)
Ponencia2015Stabbing segments with rectilinear objectsLecture Notes in Computer Science
Ponencia2014A Bioinspired Computing Approach to Model Complex SystemsMEMBRANE COMPUTING (CMC 2014)
Ponencia2014An Efficient DTW-Based Approach for Melodic Similarity in Flamenco SingingSIMILARITY SEARCH AND APPLICATIONS
Ponencia2014An Improved Segmentation Method for Non-melanoma Skin Lesions Using Active Contour ModelIMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II
Ponencia2014Artificial intelligence and symbolic computation: 12th international conference, AISC 2014 Seville, Spain, December 11-13, 2014 proceedingsLecture Notes in Computer Science
Ponencia2014Closing the gap between the specification and enforcement of security policiesLecture Notes in Computer Science
Ponencia2014Computing the topology of an arrangement of implicit and parametric curves given by valuesCOMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2014
Ponencia2014Efficient Program Transformers for Translating LCC to PDLLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014
Artículo2014Efficient program transformers for translating LCC to PDLLecture Notes in Computer Science
Artículo2014Emergent concepts on knowledge intensive processesLecture Notes in Computer Science
Ponencia2014Entrepreneurship support based on mixed bio-artificial neural network simulator (ESBBANN)Lecture Notes in Computer Science
Ponencia2014Extending Qualitative Spatial Theories with Emergent Spatial Concepts An Automated Reasoning ApproachHYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014
Ponencia2014Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P SystemsMEMBRANE COMPUTING (CMC 2014)
Ponencia2014Gait-based carried object detection using persistent homologyPROGRESS IN PATTERN RECOGNITION IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2014
Ponencia2014Improving the k-nearest neighbour rule by an evolutionary voting approachHYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014
Ponencia2014Live demonstration: Real-time motor rotation frequency detection by spike-based visual and auditory sensory fusion on AER and FPGALecture Notes in Computer Science
Ponencia2014Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of PalladioMODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2014
Ponencia2014On using semantically-aware rules for efficient online communicationLecture Notes in Computer Science
Ponencia2014Predictive task monitoring for business processesLecture Notes in Computer Science
Ponencia2014Predictive Task Monitoring for Business ProcessesBUSINESS PROCESS MANAGEMENT, BPM 2014
Editorial2014PrefaceLecture Notes in Computer Science
Ponencia2014Probabilistic Guarded P Systems, A New Formal Modelling FrameworkMEMBRANE COMPUTING (CMC 2014)
Artículo2014Probabilistic guarded P systems, a new formal modelling frameworkLecture Notes in Computer Science
Ponencia2014Prognosing the compliance of declarative business processes using event trace robustnessON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Capítulo2014Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk)Lecture Notes in Computer Science
Ponencia2014Proving and computing: Applying automated reasoning to the verification of symbolic computation systems (invited talk)Lecture Notes in Computer Science
Ponencia2014Reflectance-Based Segmentation Using Photometric and Illumination InvariantsIMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT I
Ponencia2014Runtime Enforcement of Dynamic Security PoliciesSOFTWARE ARCHITECTURE, ECSA 2014
Ponencia2014Simulating Turing Machines with Polarizationless P Systems with Active MembranesMEMBRANE COMPUTING (CMC 2014)
Ponencia2014Solving the ST-Connectivity Problem with Pure Membrane Computing TechniquesMEMBRANE COMPUTING (CMC 2014)
Ponencia2014Statistical-Based Segmentation of Bone Structures via Continuous Max-Flow OptimizationIMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II
Ponencia2014Tackling ant colony optimization meta-heuristic as search method in feature subset selection based on correlation or consistency measuresINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2014
Ponencia2014The possibilities of kinect as an access device for people with cerebral palsy: A preliminary studyCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2014, PT II
Ponencia2014The relevance of the environment on the efficiency of tissue p systemsLecture Notes in Computer Science
Ponencia2014Topo-Geometric Filtration Scheme for Geometric Active Contours and Level Sets: Application to Cerebrovascular SegmentationMedical Image Computing and Computer-Assisted Intervention - MICCAI 2014, Pt I
Ponencia2014Topological Features for Monitoring Human Activities at DistanceACTIVITY MONITORING BY MULTIPLE DISTRIBUTED SENSING
Ponencia2014Towards a Formal Specification of SLAs with CompensationsON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia2014Towards a formal specification of SLAs with compensations*Lecture Notes in Computer Science
Ponencia2014Towards Real-World Neurorobotics: Integrated Neuromorphic Visual AttentionNEURAL INFORMATION PROCESSING, ICONIP 2014, PT III
Ponencia2014Vulnerability assessment of spatial networks: Models and solutionsLecture Notes in Computer Science
Ponencia2013A FPGA spike-based robot controlled with neuro-inspired VITEADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I
Ponencia2013A sensitivity analysis for quality measures of quantitative association rulesHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2013Automated analysis in feature modelling and product configurationLecture Notes in Computer Science
Ponencia2013Evolving the automated analysis of feature modelsLecture Notes in Computer Science
Ponencia2013Extending WS-agreement to support automated conformity check on transport and logistics service agreementsSERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2013Gait-based gender classification using persistent homologyLecture Notes in Computer Science
Ponencia2013Generalized simple surface pointsLecture Notes in Computer Science
Ponencia2013Generating multi-objective optimized business process enactment plansLecture Notes in Computer Science
Ponencia2013iAgree studio: A platform to edit and validate WS-agreement documentsSERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2013Improving the efficiency of MECoMaP: A protein residue-residue contact predictorLecture Notes in Computer Science
Ponencia2013Low power implementation of Trivium stream cipherINTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2013Network Time Synchronization: A Full Hardware ApproachINTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2013New results on stabbing segments with a polygonLecture Notes in Computer Science
Ponencia2013On the AER stereo-vision processing: A spike approach to epipolar matchingLecture Notes in Computer Science
Ponencia2013On the reusable specification of non-functional properties in DSLsLecture Notes in Computer Science
Ponencia2013PPINOT tool suite: A performance management solution for process-oriented organisationsSERVICE-ORIENTED COMPUTING, ICSOC 2013
Editorial2013PrefaceLecture Notes in Computer Science
Ponencia2013Priority-based human resource allocation in business processesSERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2013Qualitative Reasoning on Complex Systems from ObservationsHYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2013Spikes monitors for FPGAs, an experimental comparative studyADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I
Ponencia2013SVITE: A spike-based VITE neuro-inspired robot controllerLecture Notes in Computer Science
Ponencia2013Towards minimal barcodesLecture Notes in Computer Science
Ponencia2013Two-phase MOBILE interconnection schemes for ultra-grain pipeline applicationsINTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2012A framework for populating ontological models from semi-structured web documentsLecture Notes in Computer Science
Ponencia2012A non-parametric approach for accurate contextual classification of LIDAR and imagery data fusionHYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PT II
Ponencia2012A NSGA-II algorithm for the residue-residue contact predictionLecture Notes in Computer Science
Ponencia2012A P-lingua based simulator for spiking neural P systemsLecture Notes in Computer Science
Ponencia2012A real-time, event-driven neuromorphic system for goal-directed attentional selectionNEURAL INFORMATION PROCESSING, ICONIP 2012, PT II
Ponencia2012A spiking neural P system simulator based on CUDALecture Notes in Computer Science
Ponencia2012An Efficient Algorithm to Compute Subsets of Points in Z(n)COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2012An unsupervised technique to extract information from semi-structured web pagesLecture Notes in Computer Science
Ponencia2012Assessment of biosignals for managing a virtual keyboardCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT II
Ponencia2012Automated resource assignment in BPMN models using RACI matricesLecture Notes in Computer Science
Ponencia2012Automatic Cup-to-Disc Ratio Estimation Using Active Contours and Color Clustering in Fundus Images for Glaucoma DiagnosisIMAGE ANALYSIS AND RECOGNITION, PT II
Ponencia2012Automatic Detection of Optic Disc from Retinal Fundus Images Using Dynamic ProgrammingIMAGE ANALYSIS AND RECOGNITION, PT II
Ponencia2012Automatic test case generation from functional requirements in NDTLecture Notes in Computer Science
Ponencia2012Bichromatic 2-Center of Pairs of PointsLATIN 2012: THEORETICAL INFORMATICS
Ponencia2012Compact grid representation of graphsLecture Notes in Computer Science
Ponencia2012DCBA: Simulating population dynamics P systems with proportional object distributionLecture Notes in Computer Science
Ponencia2012Defining process performance indicators by using templates and patternsBUSINESS PROCESS MANAGEMENT, BPM 2012
Ponencia2012Detecting conflicts and inconsistencies in web application requirementsLecture Notes in Computer Science
Ponencia2012DP automata versus right-linear simple matrix grammarsLecture Notes in Computer Science
Ponencia2012Formal verification of p systems with active membranes through model checkingLecture Notes in Computer Science
Ponencia2012Heterotic computing examples with optics, bacteria, and chemicalsLecture Notes in Computer Science
Ponencia2012Human gait identification using persistent homologyLecture Notes in Computer Science
Ponencia2012Identifying and modelling complex workflow requirements in web applicationsLecture Notes in Computer Science
Ponencia2012Local induction and provably total computable functions: A case studyLecture Notes in Computer Science
Ponencia2012Locating a service facility and a rapid transit lineLecture Notes in Computer Science
Ponencia2012Matching business process workflows across abstraction levelsLecture Notes in Computer Science
Ponencia2012NDT-Suite: A model-based suite for the application of NDTLecture Notes in Computer Science
Ponencia2012On the complexity of shared conceptualizationsARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I
Ponencia2012On the number of radial orderings of colored planar point setsLecture Notes in Computer Science
Ponencia2012One way of bringing final year computer science student world to the world of children with cerebral palsy: A case studyCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT I
Ponencia2012Parallel Skeletonizing of Digital Images by Using Cellular AutomataCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2012Perfect discrete morse functions on triangulated 3-manifoldsCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2012Persistent homology for 3D reconstruction evaluationCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2012Population dynamics P systems on CUDALecture Notes in Computer Science
Ponencia2012Prediction of mitochondrial matrix protein structures based on feature selection and fragment assemblyLecture Notes in Computer Science
Ponencia2012Removal Operations in nD Generalized Maps for Efficient Homology ComputationCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2012Reverse engineering feature models with evolutionary algorithms: An exploratory studyLecture Notes in Computer Science
Editorial2012Second Workshop on the Web and Requirements Engineering (WeRE 2011)Lecture Notes in Computer Science
Ponencia2012Segmentation of muscle fibres in fluorescence microscopy imagesIMAGE ANALYSIS AND RECOGNITION, PT II
Ponencia2012Short-range interactions and decision tree-based protein contact map predictorLecture Notes in Computer Science
Ponencia2012Spiking neural P systems with functional astrocytesLecture Notes in Computer Science
Ponencia2012The 1-center and 1-highway problemLecture Notes in Computer Science
Ponencia2012The efficiency of tissue P systems with cell separation relies on the environmentLecture Notes in Computer Science
Editorial2012Third Workshop on the Web and Requirements Engineering (WeRE 2012)Lecture Notes in Computer Science
Ponencia2012Towards a method for unsupervised web information extractionLecture Notes in Computer Science
Ponencia2012Towards discovering conceptual models behind web sitesLecture Notes in Computer Science
Ponencia2012Towards discovering ontological models from big RDF dataLecture Notes in Computer Science
Ponencia2012Triangle Mesh Compression and Homological Spanning ForestsCOMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2011A comparative study between two regression methods on LiDAR data: A case studyHYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PART II
Ponencia2011A comparative study of classifier combination methods applied to NLP tasksNATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS
Ponencia2011A Conceptual Framework for Efficient Web Crawling in Virtual Integration ContextsWEB INFORMATION SYSTEMS AND MINING, PT II
Ponencia2011A decision tree-based method for protein contact map predictionEVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS
Ponencia2011A homological-based description of subdivided nD objectsCOMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT I
Ponencia2011A nearest neighbour-based approach for viral protein structure predictionEVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS
Ponencia2011A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P SystemsCOMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT 2
Ponencia2011A tool for link-based web page classificationADVANCES IN ARTIFICIAL INTELLIGENCE
Ponencia2011AER spiking neuron computation on GPUs: The frame-to-AER generationNEURAL INFORMATION PROCESSING, PT I
Ponencia2011An AER spike-processing filter simulator and automatic VHDL generator based on cellular automataADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I
Ponencia2011An AER to CAN bridge for spike-based robot controlADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I
Ponencia2011An approach to distance estimation with stereo vision using address-event-representationNEURAL INFORMATION PROCESSING, PT I
Ponencia2011An evolutionary approach for protein contact map predictionEVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS
Ponencia2011Analysis of Measures of Quantitative Association RulesHYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PART II
Ponencia2011Applying ACL2 to the formalization of algebraic topology: Simplicial polynomialsLecture Notes in Computer Science
Ponencia2011Associating cell complexes to four dimensional digital objectsDISCRETE GEOMETRY FOR COMPUTER IMAGERY
Ponencia2011Automatic generation of a data-centered view of business processesLecture Notes in Computer Science
Ponencia2011Combining Textual Content and Hyperlinks in Web Spam DetectionNATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS
Ponencia2011Computational Intelligence Techniques for Predicting EarthquakesHYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PART II
Ponencia2011Confidence-Based Reasoning with Local Temporal Formal ContextsADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II
Ponencia2011Cup Products on Polyhedral Approximations of 3D Digital ImagesCOMBINATORIAL IMAGE ANALYSIS
Ponencia2011Current developments on computational modeling using P systemsLecture Notes in Computer Science
Ponencia2011Defining and Analysing Resource Assignments in Business Processes with RALSERVICE-ORIENTED COMPUTING
Ponencia2011Describing the orthology signal in a PPI network at a functional, complex levelBIOINFORMATICS RESEARCH AND APPLICATIONS
Ponencia2011Fast Independent Component Analysis Using a New PropertyADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II
Ponencia2011Frequency Analysis of a 64x64 Pixel Retinomorphic System with AER Output to Estimate the Limits to Apply onto Specific Mechanical EnvironmentADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I
Ponencia2011Fuzzy models for fingerprint descriptionLecture Notes in Computer Science
Ponencia2011Generating SPARQL Executable Mappings to Integrate OntologiesCONCEPTUAL MODELING - ER 2011
Ponencia2011Hidden variables simulating quantum contextuality increasingly violate the holevo boundLecture Notes in Computer Science
Ponencia2011Improving the accuracy of a two-stage algorithm in evolutionary product unit neural networks for classification by means of feature selectionNEW CHALLENGES ON BIOINSPIRED APPLICATIONS
Ponencia2011Incremental-decremental algorithm for computing AT-models and persistent homologyCOMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT I
Ponencia2011Independent component analysis: A low-complexity techniqueNEW CHALLENGES ON BIOINSPIRED APPLICATIONS
Ponencia2011Information-theoretic perspective for teaching logicLecture Notes in Computer Science
Editorial2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceLecture Notes in Computer Science
Editorial2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceLecture Notes in Computer Science
Ponencia2011Lightweight Testing of Communication Networks with e-MotionsTESTS AND PROOFS, TAP 2011
Ponencia2011Membrane computing (tutorial)Lecture Notes in Computer Science
Ponencia2011Mobile architecture for communication and development of applications based on contextLecture Notes in Computer Science
Ponencia2011Mosto: Generating SPARQL executable mappings between ontologiesADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS
Ponencia2011Neuromorphic real-time objects tracking using address event representation and silicon retinaADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I
Ponencia2011New platforms of the violence in InternetADVANCES IN NEW TECHNOLOGIES, INTERACTIVE INTERFACES, AND COMMUNICABILITY
Ponencia2011On the designing of spikes band-pass filters for FPGAARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II
Artículo2011P and dP Automata: A SurveyRAINBOW OF COMPUTER SCIENCE
Ponencia2011Performance study of software AER-based convolutions on a parallel supercomputerADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I
Editorial2011PrefaceLecture Notes in Computer Science
Editorial2011PrefaceLecture Notes in Computer Science
Ponencia2011Simulating building blocks for spikes signals processingADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II
Ponencia2011Spiking neural P system simulations on a high performance GPU platformALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT II
Ponencia2011Subgroup Discovery for Defect PredictionSEARCH BASED SOFTWARE ENGINEERING
Ponencia2011The Influence of Customer Familiarity and Personal Innovativeness toward Information Technologies on the Sense of Virtual Community and ParticipationHUMAN-COMPUTER INTERACTION - INTERACT 2011, PT III
Ponencia2011Three StepsCOMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS
Ponencia2011TOES: A taxonomy-based opinion extraction systemNATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS
Ponencia2011Unravelling the yeast cell cycle using the TriGen algorithmADVANCES IN ARTIFICIAL INTELLIGENCE
Ponencia2011Well-composed cell complexesDISCRETE GEOMETRY FOR COMPUTER IMAGERY
Ponencia2011WS-governance: A policy language for SOA governanceSERVICE-ORIENTED COMPUTING
Ponencia2010A computational complexity theory in membrane computingMembrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010A model of user preferences for semantic services discovery and rankingSEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS
Ponencia2010A P system based model of an ecosystem of some scavenger birdsMembrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010A SVM and k-NN restricted stacking to improve land use and land cover classificationHYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2
Ponencia2010ACS searching for D 4t -hadamard matricesLecture Notes in Computer Science
Ponencia2010Alpha helix prediction based on evolutionary computationPATTERN RECOGNITION IN BIOINFORMATICS
Ponencia2010An overview of P-Lingua 2.0Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010Augmented and alternative communication system based on dasher application and an accelerometerCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 2
Ponencia2010Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol for Vehicular Ad-Hoc NetworksAPPLICATIONS OF EVOLUTIONARY COMPUTATION, PT II, PROCEEDINGS
Ponencia2010Characterizing tractability by tissue-like P systemsMembrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010Correlation-based scatter search for discovering biclusters from gene expression dataEVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS, PROCEEDINGS
Ponencia2010Customizable software interface for monitoring applicationsCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1
Ponencia2010Dealing with fixable and non-fixable properties in service matchmakingSERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS
Ponencia2010Defining process performance indicators: An ontological approachON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I
Ponencia2010Depth-First Search with P SystemsMembrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Ponencia2010Evolutionary q-Gaussian Radial Basis Functions for Improving Prediction Accuracy of Gene Classification Using Feature SelectionARTIFICIAL NEURAL NETWORKS-ICANN 2010, PT I
Ponencia2010Expert System to Real Time Control of Machining ProcessesCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2010Implementing P systems parallelism by means of GPUsMembrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010Integrating aggregation strategies in an in-home domain dialogue systemLecture Notes in Computer Science
Ponencia2010Label dependent evolutionary feature weighting for remote sensing dataHYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2
Editorial2010Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceLecture Notes in Computer Science
Ponencia2010Matrix representation of spiking neural P systemsMembrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Ponencia2010Measuring the quality of shifting and scaling patterns in biclustersPATTERN RECOGNITION IN BIOINFORMATICS
Libro2010Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papersMembrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Editorial2010Membrane computing: PrefaceLecture Notes in Computer Science
Ponencia2010Modeling population growth of Pyrenean chamois (Rupicapra p. pyrenaica) by using P-systemsMembrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Ponencia2010Multi-objective particle swarm optimizers: An experimental comparisonLecture Notes in Computer Science
Ponencia2010New technique to enhance the performance of spoken dialogue systems by means of implicit recovery of ASR errorsLecture Notes in Computer Science
Ponencia2010On the complexity of program debugging using constraints for modeling the program's syntax and semanticsCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2010On the Specification of Non-functional Properties of Systems by ObservationMODELS IN SOFTWARE ENGINEERING
Ponencia2010QuEF (Quality Evaluation Framework) for Model-Driven Web MethodologiesLecture Notes in Computer Science
Ponencia2010QUEF (Quality Evaluation Framework) for Model-Driven Web methodologiesCURRENT TRENDS IN WEB ENGINEERING
Ponencia2010Reconciling Knowledge in Social Tagging Web ServicesHYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2
Ponencia2010Searching previous configurations in membrane computingMembrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010Switching noise optimization in the wake-up phase of leakage-aware power gating structuresINTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2010Towards a Rewriting Logic Semantics for ATLTHEORY AND PRACTICE OF MODEL TRANSFORMATIONS
Ponencia2010Tracking system based on accelerometry for users with restricted physical activityTRENDS IN APPLIED INTELLIGENT SYSTEMS, PT II, PROCEEDINGS
Ponencia2010Using automated analysis of temporal-aware SLAs in logisticsSERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS
Ponencia2010Using regression analysis to identify patterns of non-technical losses on power utilitiesKNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I
Ponencia2010Using Remote Data Mining on LIDAR and Imagery Fusion Data to Develop Land Cover MapsTRENDS IN APPLIED INTELLIGENT SYSTEMS, PT I, PROCEEDINGS
Ponencia2009A heuristic procedure with guided reproduction for constructing cocyclic hadamard matricesADAPTIVE AND NATURAL COMPUTING ALGORITHMS
Ponencia2009A hybrid metaheuristic for biclustering based on scatter search and genetic algorithmsPATTERN RECOGNITION IN BIOINFORMATICS, PROCEEDINGS
Ponencia2009A hybrid model for dynamic simulation of custom software projects in a multiproject environmentTRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS
Ponencia2009A License Plate Extraction Algorithm Based on Edge Statistics and Region GrowingIMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS
Ponencia2009A multiscale modeling framework based on P systemsMembrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Ponencia2009A P-lingua programming environment for membrane computingMembrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Ponencia2009ACL2 verification of simplicial degeneracy programs in the kenzo systemINTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS
Ponencia2009Advanced Vision Processing Systems: Spike-Based Simulation and ProcessingADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS
Ponencia2009An approach to the engineering of cellular models based on P systemsMATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE
Ponencia2009Cell AT-Models for Digital VolumesGRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS
Ponencia2009Connectivity Forests for Homological Analysis of Digital VolumesBIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1
Ponencia2009Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundationsINTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS
Ponencia2009Control of cellular glycolysis by perturbations in the glucose influxCOMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS
Ponencia2009Decomposing cavities in digital volumes into products of cyclesDISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS
Ponencia2009Descriptional Complexity of Tissue-Like P Systems with Cell DivisionUNCONVENTIONAL COMPUTATION, PROCEEDINGS
Artículo2009Effective allocation of fleet frequencies by reducing intermediate stops and short turning in transit systemsRobust and online large-scale optimization
Ponencia2009Evaluating the performance of the multilayer perceptron as a data editing toolBIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1
Ponencia2009Explaining the non-compliance between templates and agreement offers in ws-agreementSERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS
Ponencia2009FAST-SE: An ESB based framework for SLA tradingSERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS
Ponencia2009FPGA implementations comparison of neuro-cortical inspired convolution processors for spiking systemsBIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1
Ponencia2009From vision sensor to actuators, spike based robot control through address-event-representationBIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1
Ponencia2009Getting topological information for a 80-adjacency doxel-based 4D volume through a polytopal cell complexPROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, PROCEEDINGS
Ponencia2009Hebbian learning from spiking neural P systems viewMembrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Ponencia2009Homological computation using spanning treesPROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, PROCEEDINGS
Ponencia2009Homological Tree-Based Strategies for Image AnalysisCOMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS
Ponencia2009Improvement of the Initialization of ICA Time-Frequency Algorithms for Speech SeparationINDEPENDENT COMPONENT ANALYSIS AND SIGNAL SEPARATION, PROCEEDINGS
Ponencia2009Improving Time Series Forecasting by Discovering Frequent Episodes in SequencesADVANCES IN INTELLIGENT DATA ANALYSIS VIII, PROCEEDINGS
Artículo2009Integrating robust railway network design and line planning under failuresRobust and online large-scale optimization
Ponencia2009Irregular Graph Pyramids and Representative Cocycles of Cohomology GeneratorsGRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS
Ponencia2009MDA-based framework for automatic generation of consistent firewall ACLs with NATCOMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II
Ponencia2009Membrane Dissolution and Division in PUNCONVENTIONAL COMPUTATION, PROCEEDINGS
Ponencia2009Modeling ecosystems using P systems: the bearded vulture, a case studyMembrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Ponencia2009Multi-Objective Particle Swarm Optimizers: An Experimental ComparisonEVOLUTIONARY MULTI-CRITERION OPTIMIZATION
Ponencia2009On user preferences and utility functions in selection: A semantic approachSERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS
Ponencia2009Pattern Analysis of Dermoscopic Images Based on FSCM Color Markov Random FieldsADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS
Ponencia2009Power dissipation associated to internal effect transitions in static CMOS gatesINTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2009Quantitative Association Rules Applied to Climatological Time Series ForecastingINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING, PROCEEDINGS
Ponencia2009Rooted Trees Searching for Cocyclic Hadamard Matrices over D 4tLecture Notes in Computer Science
Ponencia2009Rooted Trees Searching for Cocyclic Hadamard Matrices over D(4t)APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS, AND ERROR-CORRECTING CODES
Ponencia2009Segmentation in 2D and 3D Image Using Tissue-Like P SystemPROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, PROCEEDINGS
Ponencia2009Self-assessed Contrast-Maximizing Adaptive Region GrowingADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS
Ponencia2009Service-oriented device integration for ubiquitous ambient assisted living environmentsDISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS
Ponencia2009Simultaneous Optimal Control and Discrete Stochastic Sensor SelectionHYBRID SYSTEMS: COMPUTATION AND CONTROL
Ponencia2009Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell DivisionMETHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I
Ponencia2009Stable Rankings in Collective Decision Making with Imprecise InformationALGORITHMIC DECISION THEORY, PROCEEDINGS
Ponencia2009Surgical planning and patient-specific biomechanical simulation for tracheal endoprostheses interventionsLecture Notes in Computer Science
Ponencia2009Temporal-awareness in SLAs: Why should we be concerned?SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS
Ponencia2009Toward Semantic Mobile Web 2.0 through Multiagent SystemsAGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS
Ponencia2009Towards a Fault-Tolerant Architecture for Enterprise Application Integration SolutionsON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 WORKSHOPS
Ponencia2009Universal Spaces for (k, (k)over-bar)-SurfacesDISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS
Ponencia2009Universal spaces for (K,K̄) surfacesLecture Notes in Computer Science
Ponencia2009Using a dynamic model to simulate the heuristic evaluation of usabilityHUMAN-COMPUTER INTERACTION - INTERACT 2009, PT II, PROCEEDINGS
Ponencia2009Using membrane computing for obtaining homology groups of binary 2D digital imagesCOMBINATORIAL IMAGE ANALYSIS, PROCEEDINGS
Ponencia2009Virtual center for the elderly: lessons learnedDISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS
Ponencia2008A fuzzy thresholding circuit for image segmentationKNOWLEDGE - BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS
Ponencia2008A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic EnvironmentsON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS
Ponencia2008Advanced Homology Computation of Digital Volumes Via Cell ComplexesSTRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION
Ponencia2008AFPL, an abstract language model for firewall ACLsCOMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS
Ponencia2008An Initial Approach to Explaining SLA InconsistenciesSERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS
Ponencia2008Automated Merging of Feature Models Using Graph TransformationsGenerative and Transformational Techniques in Software Engineering II
Ponencia2008Cover contact graphsGRAPH DRAWING
Ponencia2008Dimensionality Reduction for Classification Comparison of Techniques and Dimension ChoiceADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS
Ponencia2008Dimensionality reduction for classification, comparison of techniques and dimension choiceLecture Notes in Computer Science
Ponencia2008Integral Operators for Computing Homology Generators at Any DimensionPROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS
Ponencia2008Membrane Computing as a Modeling Framework. Cellular Systems Case StudiesFORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY
Ponencia2008Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FWCOMPUTER SECURITY - ESORIC 2008, PROCEEDINGS
Ponencia2008New research in nature inspired algorithms for mobility management in GSM networksAPPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS
Ponencia2008Parallelizations of the error correcting code problemLARGE-SCALE SCIENTIFIC COMPUTING
Ponencia2008Smart environment vectorization - An approach to learning of user lighting preferencesKNOWLEDGE - BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS
Ponencia2008Smart environment vectorization an approach to learning of user lighting preferencesLecture Notes in Computer Science
Ponencia2008Using Cognitive Entropy to Manage Uncertain Concepts in Formal OntologiesUNCERTAINTY REASONING FOR THE SEMANTIC WEB I
Ponencia2008Viral system to solve optimization problems: An immune-inspired computational intelligence approachARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS
Ponencia2008Visualization of Use Cases through Automatically Generated Activity DiagramsMODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS
Ponencia2007A deterministic model to infer gene networks from microarray dataINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007
Ponencia2007A formal foundation for Knowledge Integration of defficent information in the Semantic WebCOMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
Ponencia2007A formally verified prover for the ALC description logicTHEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Ponencia2007A formally verified prover for the ALC description logicLecture Notes in Computer Science
Ponencia2007A graph-with-loop structure for a topological representation of 3D objectsCOMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS
Ponencia2007A heuristic predictive logic controller applied to hybrid solar air conditioning plantHYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS
Ponencia2007A hybrid approach to modeling biological systemsMembrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers
Ponencia2007A logarithmic bound for solving subset sum with P systemsMembrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers
Ponencia2007A precise electrical disturbance generator for neural network training with real level outputPROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS
Ponencia2007An AER-Based actuator interface for controlling an anthropomorphic robotic handNATURE INSPIRED PROBLEM-SOLVING METHODS IN KNOWLEDGE ENGINEERING, PT 2, PROCEEDINGS
Ponencia2007An hybrid, QoS-Aware discovery of semantic web services using constraint programmingSERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Ponencia2007An integrated methodology for the Rapid Transit Network Design ProblemALGORITHMIC METHODS FOR RAILWAY OPTIMIZATION
Ponencia2007An orientation service for dependent people based on an open service architectureHCI AND USABILITY FOR MEDICINE AND HEALTH CARE, PROCEEDINGS
Capítulo2007Automated Merging of Feature Models Using Graph TransformationsGenerative and Transformational Techniques in Software Engineering II
Ponencia2007Automatic detection of filters in images with Gaussian noise using independent component analysisCOMPUTATIONAL AND AMBIENT INTELLIGENCE
Ponencia2007Biclusters evaluation based on shifting and scaling patternsINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007
Ponencia2007Building the core architecture of a NASA multiagent system product lineAGENT-ORIENTED SOFTWARE ENGINEERING VII
Ponencia2007Combining smart tags and body fixed sensors for disabled people assistanceKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS
Ponencia2007Discovering α–patterns from gene expression dataINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007
Capítulo2007Efficient and fast current curve estimation of CMOS digital circuits at the logic levelLecture Notes in Computer Science
Ponencia2007Error correcting codes from quasi-Hadamard matricesARITHMETIC OF FINITE FIELDS, PROCEEDINGS
Ponencia2007Extending the notion of AT-model for integer homology computationGRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS
Ponencia2007Improving temporal-awareness of WS-agreementSERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Ponencia2007Information extraction in a set of knowledge using a fuzzy logic based intelligent agentCOMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2007, PT 3, PROCEEDINGS
Ponencia2007KRRT: Knowledge Representation and Reasoning Tutor systemCOMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
Ponencia2007KRRT: Knowledge representation and reasoning tutor systemLecture Notes in Computer Science
Ponencia2007Modeling smart homes for prediction algorithmsKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS
Ponencia2007Multi-classification with tri-class support vector machines. A reviewCOMPUTATIONAL AND AMBIENT INTELLIGENCE
Ponencia2007Multi-task implementation for image reconstruction of an AER communicationCOMPUTATIONAL AND AMBIENT INTELLIGENCE
Ponencia2007New results on minimax regret single facility ordered median location problems on networksALGORITHMS - ESA 2007, PROCEEDINGS
Ponencia2007On a paun's conjecture in membrane systemsBIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS
Ponencia2007On rules and parameter free systems in bounded arithmeticCOMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS
Ponencia2007On the computation of A∞-mapsLecture Notes in Computer Science
Ponencia2007Partitioning-clustering techniques applied to the electricity price time seriesINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007
Ponencia2007Polarizationless P systems with active membranes working in the minimally parallel modeUNCONVENTIONAL COMPUTATION, PROCEEDINGS
Ponencia2007satDNA analyzer 1.2 as a valuable computing tool for evolutionary analysis of satellite-DNA families: Revisiting Y-linked satellite-DNA sequences of Rumex (Polygonaceae)Lecture Notes in Computer Science
Ponencia2007Simulating the bitonic sort using P systemsMembrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers
Ponencia2007Solving subset sum in linear time by using tissue P systems with cell divisionBIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS
Ponencia2007Static power consumption in CMOS gates using independent bodiesINTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2007Targeting differentially co-regulated genes by multiobjective and multimodal optimizationLecture Notes in Computer Science
Ponencia2007The complex version of the minimum support criterionINDEPENDENT COMPONENT ANALYSIS AND SIGNAL SEPARATION, PROCEEDINGS
Ponencia2007Uniform solution of QSAT using polarizationless active membranesMACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS
Ponencia2007Virtual error: a new measure for evolutionary biclusteringEVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS, PROCEEDINGS
Ponencia2006A case study in (mem)brane computation: generating squares of natural numbersMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006A conceptual framework for automated negotiation systemsINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS
Ponencia2006A Genetic Algorithm for Cocyclic Hadamard MatricesLecture Notes in Computer Science
Artículo2006A hybrid VNS/Tabu Search algorithm for apportioning the European ParliamentEVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, PROCEEDINGS
Ponencia2006A linear solution for QSAT with membrane creationMembrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers
Artículo2006A Mathematica notebook for computing the homology of iterated products of groupsMATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS
Artículo2006A measure for data set editing by ordered projectionsADVANCES IN APPLIED ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Ponencia2006A modeling approach based on P systems with bounded parallelismMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006A smart electric wheelchair using UPnPAMBIENT INTELLIGENCE IN EVERDAY LIFE
Artículo2006A topological-based method for allocating sensors by using CSP techniquesCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006Algebraic computation of some intersection D-modulesMATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS
Artículo2006Algorithmic invariants for Alexander modulesCOMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS
Ponencia2006An analysis of service trading architecturesLecture Notes in Computer Science
Artículo2006Analysis of service trading architecturesE-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS
Artículo2006Calculating cocyclic Hadamard matrices in Mathematica: Exhaustive and heuristic searchesMATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS
Ponencia2006Can agent oriented software engineering be used to build MASs product lines?INNOVATIVE CONCEPTS FOR AUTONOMIC AND AGENT-BASED SYSTEMS
Ponencia2006Classifying states of a finite Markov chain with membrane computingMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006Comparison maps for relatively free resolutionsCOMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS
Ponencia2006Computing with spiking neural P systems: Traces and small universal systemsDNA COMPUTING
Artículo2006Databases reduction simultaneously by ordered projectionDISCOVERY SCIENCE, PROCEEDINGS
Ponencia2006Decision making association rules for recognition of differential gene expression profilesLecture Notes in Computer Science
Artículo2006Diagnosing errors in DbC programs using Constraint ProgrammingCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006eDiab: A system for monitoring, assisting and educating people with diabetesCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS
Ponencia2006Fusion of domain knowledge for dynamic learning in transcriptional networksLecture Notes in Computer Science
Ponencia2006Fuzzy logic activities at the Microelectronics Institute of SevilleNEURAL NETS
Ponencia2006Fuzzy motion adaptive algorithm for video de-interlacingKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo2006Gene ranking from microarray data for cancer classification - A machine learning approachKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Ponencia2006Gene ranking from microarray data for cancer classification-A machine learning approachLecture Notes in Computer Science
Artículo2006Giving neurons to sensors: an approach to QoS management through artificial intelligence in wireless networksPERSONAL WIRELESS COMMUNICATIONS, PROCEEDINGS
Ponencia2006Graphical modeling of higher plants using P systemsMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006Handling Markov chains with membrane computingUNCONVENTIONAL COMPUTATION, PROCEEDINGS
Artículo2006Improving the computational efficiency in symmetrical numeric constraint satisfaction problemsCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006Integrated expert management knowledge on OSI network management objectsADVANCES IN INFORMATION SYSTEMS, PROCEEDINGS
Artículo2006Lineal image compression based on Lukasiewicz's operatorsKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Ponencia2006Membrane systems with external controlLecture Notes in Computer Science
Artículo2006MIDAS: detection of non-technical losses in electrical consumption using neural networks and statistical techniquesCOMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 5
Ponencia2006Mining structural databases: An Evolutionary Multi-Objetive Conceptual Clustering methodologyLecture Notes in Computer Science
Ponencia2006Modeling signal transduction using P systemsMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006Neighborhood-based clustering of gene-gene interactionsINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS
Artículo2006New characteristics for the classification of burns: Experimental studyIMAGE ANALYSIS AND RECOGNITION, PT 2
Ponencia2006On P systems as a modelling tool for biological systemsMembrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers
Ponencia2006On the power of dissolution in P systems with active membranesMembrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers
Ponencia2006Optimal selection of microarray analysis methods using a conceptual clustering algorithmLecture Notes in Computer Science
Artículo2006Optimization of master-slave flip-flops for high-performance applicationsINTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Ponencia2006P systems, a new computational modelling tool for Systems BiologyTRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VI
Artículo2006Parallel implementation of a cellular automaton model for the simulation of laser dynamicsCOMPUTATIONAL SCIENCE - ICCS 2006, PT 3, PROCEEDINGS
Artículo2006Reducing computational costs in the Basic Perturbation LemmaCOMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS
Artículo2006Reusing integer homology information of binary digital imagesDISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS
Artículo2006Shifting patterns discovery in microarrays with evolutionary algorithmsKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo2006Simplicial perturbation techniques and effective homologyCOMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS
Artículo2006SIR: a new wireless sensor network routing protocol based on artificial intelligenceADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS
Artículo2006Some notes on (Mem)Brane computationPARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS
Artículo2006Sudokus and Grobner bases: Not only a divertimentoCOMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS
Artículo2006Supervised TextRankADVANCES IN NATURAL LANGUAGE PROCESSING, PROCEEDINGS
Ponencia2006Supervised TextRankLecture Notes in Computer Science
Artículo2006tarfa: Tableaux and resolution for finite abductionLOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Artículo2006The evolution of OSI network management by integrated the expert knowledgeINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS
Ponencia2006Towards a P systems pseudomonas quorum sensing modelMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Ponencia2006Towards probabilistic model checking on P systems using PRISMMembrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006Using artificial intelligence in wireless sensor routing protocolsKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS
Artículo2006VHDL high level modelling and implementation of fuzzy systemsFUZZY LOGIC AND APPLICATIONS
Artículo2006Visual ontology cleaning: Cognitive principles and applicabilitySEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS
Artículo2005A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS)Lecture Notes in Computer Science
Artículo2005A linear solution of subset sum problem by using membrane creationMECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS
Artículo2005A study of the robustness of the EGFR signalling cascade using continuous membrane systemsMECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS
Artículo2005Accepting hybrid networks of evolutionary processorsDNA COMPUTING
Artículo2005Algebraic topological analysis of time-sequence of digital imagesCOMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS
Ponencia2005An approach to computational complexity in membrane computingMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005An approach to reduce the cost of evaluation in evolutionary learningCOMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS
Artículo2005An approach to temporal-aware procurement of Web servicesSERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS
Artículo2005An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic wayMICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Artículo2005Analysis and visualization of the DX community with information extracted from the webDATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo2005Analysis of feature rankings for classificationADVANCES IN INTELLIGENT DATA ANALYSIS VI, PROCEEDINGS
Artículo2005Application of internode model to global power consumption estimation in SCMOS gatesINTEGRATED CIRCUIT AND SYSTEM DESIGN
Artículo2005Applying stacking and corpus transformation to a chunking taskCOMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005
Ponencia2005Aproximating Non-discrete P SystemsMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005Attacking the common algorithmic problem by recognizer P systemsMACHINES, COMPUTATIONS, AND UNIVERSALITY
Artículo2005Automated reasoning on feature modelsADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS
Artículo2005Communication complexity as a principle of quantum mechanicsUNCONVENTIONAL COMPUTATION, PROCEEDINGS
Ponencia2005Connections between ICA and sparse coding revisitedCOMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS
Ponencia2005Exploring computation trees associated with P systemsMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005Extension of ontologies assisted by automated reasoning systemsCOMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005
Artículo2005Heuristic search over a ranking for feature selectionCOMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS
Artículo2005Inter-spike-intervals analysis of Poisson like hardware synthetic AER generationCOMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS
Editorial2005Lecture Notes in Computer Science: PrefaceLecture Notes in Computer Science
Artículo2005Local characterization of a maximum set of digital (26,6)-surfacesDISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS
Artículo2005Logic-level fast current simulation for digital CMOS circuitsINTEGRATED CIRCUIT AND SYSTEM DESIGN
Ponencia2005Looking for simple common schemes to design recognizer P systems with active membranes that solve numerical decision problemsLecture Notes in Computer Science
Libro2005Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papersMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005Nouvelle Cuisine for the computation of the annihilating ideal of f sLecture Notes in Computer Science
Artículo2005Nouvelle cuisine for the computation of the annihilating ideal of f(s)COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS
Ponencia2005On descriptive complexity of P systemsMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005On the connection between the human visual system and independent component analysisARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING APPLICATIONS: A BIOINSPIRED APPROACH, PT 2, PROCEEDINGS
Ponencia2005On two-dimensional mesh networks and their simulation with P systemsMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005P Systems with active membranes, without polarizations and without dissolution: A characterization of PLecture Notes in Computer Science
Ponencia2005Proof pearl: A formal proof of Higman's Lemma in ACL2Lecture Notes in Computer Science
Artículo2005Proof pearl: A formal proof of Higman's lemma in ACL2THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Artículo2005Querying a polynomial object-relational constraint database in model-based diagnosisDATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Ponencia2005Rete algorithm applied to robotic soccerLecture Notes in Computer Science
Artículo2005Rete algorithm applied to robotic soccerCOMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005
Ponencia2005Robust blind image watermarking with independent component analysis: A embedding algorithmLecture Notes in Computer Science
Artículo2005Test infrastructure for address-event-representation communicationsCOMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS
Ponencia2005Tools for address-event-representation communication systems and debuggingLecture Notes in Computer Science
Artículo2005Towards a theory on the role of ontologies in software engineering problem solving - Conclusions from a theoretical model of methodological worksFUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS
Ponencia2005Towards a theory on the role of ontologies in Software Engineering problem solving conclusions from a theoretical model of methodological worksLecture Notes in Computer Science
Ponencia2005Trading polarization for Bi-stable catalyst in P systems with active membranesMembrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005Two hardware implementations of the exhaustive synthetic AER generation methodCOMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS
Artículo2005Using automated reasoning systems on molecular computingDNA COMPUTING
Artículo2005VICARED: a neural network based system for the detection of electrical disturbances in real timeADVANCES IN NATURAL COMPUTATION, PT 2, PROCEEDINGS
Ponencia2004A linear-time solution to the knapsack problem using P systems with active membranesMembrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Artículo2004A Maximum Set of (26, 6)-Connected Digital SurfacesLecture Notes in Computer Science
Artículo2004A maximum set of (26,6)-connected digital surfacesCOMBINATORIAL IMAGE ANALYSIS, PROCEEDINGS
Artículo2004A method for compiling and executing expressive assertionsINTEGRATED FORMAL METHODS, PROCEEDINGS
Artículo2004A multiresolution threshold selection method based on trainingIMAGE ANALYSIS AND RECOGNITION, PT 1, PROCEEDINGS
Artículo2004A real-time image stabilization system based on Fourier-Mellin transformIMAGE ANALYSIS AND RECOGNITION, PT 1, PROCEEDINGS
Artículo2004An automatic filtering procedure for processing biomechanical kinematic signalsBIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS
Ponencia2004Application of evolutionary computation techniques to the optimal short-term scheduling of the electrical energy productionCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2004Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based DiagnosisLecture Notes in Computer Science
Artículo2004Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosisCONSTRAINT DATABASES, PROCEEDINGS
Artículo2004Applying system families concepts to requirements engineering process definitionSOFTWARE PRODUCT-FAMILY ENGINEERING
Artículo2004Background noise influence on VoIP traffic profileINTERACTIVE MULTIMEDIA AND NEXT GENERATION NETWORKS
Artículo2004Bagging classification models with reduced bootstrapSTRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS
Artículo2004Blind source separation in the adaptive reduction of inter-channel interference for OFDMLecture Notes in Computer Science
Artículo2004Characterization of the sources in convolutive mixtures: A cumulant-based approachINDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION
Artículo2004Clustering Main Concepts from e-MailsLecture Notes in Computer Science
Artículo2004Computing largest empty slabsCOMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3
Ponencia2004Computing partial recursive functions by transition P systemsMembrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Artículo2004Control of bloat in genetic programming by means of the island modelPARALLEL PROBLEM SOLVING FROM NATURE - PPSN VIII
Artículo2004Data mining approaches to diffuse large B-cell lymphoma gene expression data interpretationDATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS
Artículo2004Determination of possible minimal conflict sets using constraint databases technology and clusteringADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004
Artículo2004Empirically driven use case metamodel evolutionUML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS
Artículo2004Formal reasoning about efficient data structures: A case study in ACL2Lecture Notes in Computer Science
Ponencia2004Formal verification of molecular computational models in ACL2: A case studyLecture Notes in Computer Science
Artículo2004Generalizing programs via subsumptionLecture Notes in Computer Science
Artículo2004Geometrical ICA-based method for mind separation of super-Gaussian signalsINDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION
Ponencia2004Implementing in Prolog an effective cellular solution to the Knapsack problemMembrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Artículo2004Improving the performance of a named entity extractor by applying a stacking schemeADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004
Ponencia2004Improving the performance of a named entity extractor by applying a stacking schemeLecture Notes in Computer Science
Artículo2004Independent component analysis in the watermarking of digital imagesLecture Notes in Computer Science
Artículo2004Multidimensional data visual exploration by interactive information segmentsDATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS
Artículo2004Named entity recognition through corpus transformation and system combinationADVANCES IN NATURAL LANGUAGE PROCESSING
Ponencia2004Named entity recognition through corpus transformation and system combinationLecture Notes in Computer Science
Artículo2004New eigensystem-based method for blind source separationINDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION
Artículo2004On the design of ambient intelligent systems in the context of assistive technologiesCOMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS: PROCEEDINGS
Artículo2004P systems with tables of rulesTHEORY IS FOREVER: ESSAYS DEDICATED TO ARTO SALOMAA ON THE OCCASION OF HIS 70TH BIRTHDAY
Artículo2004Provably total primitive recursive functions: Theories with inductionCOMPUTER SCIENCE LOGIC, PROCEEDINGS
Artículo2004Providing real time applications with a seamless handover using a combination of hierarchical mobile IPv6 and fast handoverUNIVERSAL MULTISERVICE NETWORKS, PROCEEDINGS
Artículo2004Signal sampling based transition modeling for digital gates characterizationINTEGRATED CIRCUIT AND SYSTEM DESIGN
Artículo2004Simulation of the dynamics of pulsed pumped lasers based on cellular automataCELLULAR AUTOMATA, PROCEEDINGS
Artículo2004Statistical test-based evolutionary segmentation of yeast genomeGENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2004, PT 1, PROCEEDINGS
Artículo2004The anchored Voronoi diagramCOMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3
Artículo2004The implementation of a FPGA hardware debugger system with minimal system overheadFIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS
Artículo2004The minimum support criterion for blind signal extraction: A limiting case of the strengthened Young's inequalityINDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION
Artículo2004The P versus NP problem through cellular computing with membranesASPECTS OF MOLECULAR COMPUTING
Artículo2004Theoretical method for solving BSS-ICA using SVMINDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION
Artículo2004Time-series prediction: Application to the short-term electric energy demandCURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2004Using dynamic modeling and simulation to improve the COTS software processPRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT
Artículo2004Verified Computer Algebra in ACL2 (Gröbner Bases Computation)Lecture Notes in Computer Science
Artículo2004Verified computer algebra in ACL2 (Grobner bases computation)ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS
Artículo2004Wrapper for ranking feature selectionINTELLIGENT DAA ENGINEERING AND AUTOMATED LEARNING IDEAL 2004, PROCEEDINGS
Artículo2003A DTD for an XML-based mathematical modeling languageCOMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS
Artículo2003A formal proof of Dickson's Lemma in ACL2LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS
Artículo2003A genetic algorithm for assembly sequence planningARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Artículo2003A genetic algorithm for controlling elevator group systemsARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Ponencia2003A MzScheme implementation of transition P systemsMembrane computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers
Artículo2003A new hybrid CBL-CMOS cell for optimum noise/power applicationINTEGRATED CIRCUIT AND SYSTEM DESIGN
Artículo2003A quality-aware approach to web services procurementTECHNOLOGIES FOR E-SERVICES, PROCEEDINGS
Artículo2003An agent based approach of collective foragingCOMPUTATIONAL METHODS IN NEURAL MODELING, PT 1
Artículo2003An application of ICA to blind DS-CDMA detection: A joint optimization criterionLecture Notes in Computer Science
Artículo2003Application of independent component analysis to edge detection and watermarkingARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Artículo2003Automated meter reading and SCADA application for wireless sensor networkAD-HOC, MOBILE, AND WIRELESS NETWORKS, PROCEEDINGS
Artículo2003Automating the procurement of web servicesService-Oriented Computing - ICSOC 2003
Artículo2003CAD tool for burn diagnosisINFORMATION PROCESSING IN MEDICAL IMAGING, PROCEEDINGS
Artículo2003Computational delay models to estimate the delay of floating cubes in CMOS circuitsINTEGRATED CIRCUIT AND SYSTEM DESIGN
Artículo2003Coping with web knowledgeADVANCES IN WEB INTELLIGENCE
Ponencia2003Decision P systems and the P≠NP conjectureMembrane computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers
Artículo2003Decision P systems and the P≠NP conjectureLecture Notes in Computer Science
Artículo2003Empirical evaluation of the difficulty of finding a good value of k for the nearest neighborCOMPUTATIONAL SCIENCE - ICCS 2003, PT II, PROCEEDINGS
Artículo2003Evolutionary neuroestimation of fitness functionsPROGRESS IN ARTIFICIAL INTELLIGENCE-B
Artículo2003Fast feature ranking algorithmKNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS
Artículo2003Fast feature selection by means of projectionsDEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE
Artículo2003FOM: A framework for metaheuristic optimizationCOMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS
Artículo2003Generalizing programs via subsumptionCOMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003
Artículo2003Hybrid networks of evolutionary processorsGENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS
Artículo2003Influence of kNN-based load forecasting errors on optimal energy productionPROGRESS IN ARTIFICIAL INTELLIGENCE-B
Artículo2003Mining low dimensionality data streams of continuous attributesPROGRESS IN ARTIFICIAL INTELLIGENCE-B
Artículo2003Natural coding: A more efficient representation for evolutionary learningGENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS
Artículo2003NDT-Tool: A case tool to deal with requirements in web information systemsWEB ENGINEERING, PROCEEDINGS
Artículo2003NLC: A measure based on projectionsDATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo2003On selecting and scheduling assembly plans using constraint programmingKNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo2003Optimal on-demand VoIP quality in an H.323 networkHIGH-SPEED NETWORKS AND MULTIMEDIA COMMUNICATIONS, PROCEEDINGS
Artículo2003Optimal point set projections onto regular gridsALGORITHMS AND COMPUTATION, PROCEEDINGS
Artículo2003Packetization and silence influence on VoIP traffic profilesINTERACTIVE MULTIMEDIA ON NEXT GENERATION NETWORKS
Artículo2003Review of capacitive threshold gate implementationsARTIFICIAL NEURAL NETWORKS AND NEURAL INFORMATION PROCESSING - ICAN/ICONIP 2003
Artículo2003The NDT development processWEB ENGINEERING, PROCEEDINGS
Artículo2003Towards a practical argumentative reasoning with qualitative spatial databasesDEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE
Artículo2003Towards digital cohomologyDISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS
Artículo2003Towards interaction protocol operations for large multi-agent systemsFORMAL APPROACHES TO AGENT-BASED SYSTEMS
Artículo2003UNSHADES-1: An advanced tool for in-system run-time hardware debuggingFIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS
Artículo2003Verification in ACL2 of a generic framework to synthesize SAT-proversLOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
Artículo2002A comparison of two techniques for next-day electricity price forecastingINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2002
Artículo2002A framework to translate UML class generalization into Java codeOBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS
Artículo2002A genetic algorithm for solving a production and delivery scheduling problem with time windowsADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Ponencia2002A pomset-based model for estimating Workcells? setups in assembly sequence planningLecture Notes in Computer Science
Artículo2002A pomset-based model for estimating workcells' setups in assembly sequence planningADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Ponencia2002A practical agent-based method to extract semantic information from the webLecture Notes in Computer Science
Artículo2002A quasi-metric for machine learningADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Artículo2002A semiquantitative approach to study semiqualitative systemsADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Artículo2002A technique to generate CMOS VLSI flip-flops based on differential latchesLecture Notes in Computer Science
Artículo2002An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactionsEURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS
Artículo2002An evolutionary approach to the study of non-trivial collective behavior in cellular automataCELLULAR AUTOMATA, PROCEEDINGS
Artículo2002An order-based, distributed algorithm for implementing multiparty interactionsCOORDINATION MODELS AND LANGUAGES, PROCEEDINGS
Artículo2002Applying neural networks and genetic algorithms to the separation of sourcesADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Ponencia2002Automatic extraction of semantically-meaningful information from the webLecture Notes in Computer Science
Ponencia2002Characterization of normal propagation delay for delay degradation model (DDM)Lecture Notes in Computer Science
Ponencia2002Discovering numeric association rules via evolutionary algorithmLecture Notes in Computer Science
Ponencia2002Electricity market price forecasting: neural networks versus weighted-distance k nearest neighboursLecture Notes in Computer Science
Artículo2002Evolving one dimensional cellular automata to perform a non-trivial collective behavior task: One case studyCOMPUTATIONAL SCIENCE-ICCS 2002, PT I, PROCEEDINGS
Artículo2002Generation of diophantine sets by computing P systems with external outputUNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS
Artículo2002Generation of management rules through system dynamics and evolutionary computationPRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS
Artículo2002Genetic Neighborhood SearchCOMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS
Artículo2002Integrating dynamic models for CMM-based software process improvementPRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS
Editorial2002Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceLecture Notes in Computer Science
Artículo2002Left corner parser for Tree Insertion GrammarsARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS AND APPLICATIONS, PROCEEDINGS
Artículo2002Max-CSP approach for software diagnosisADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Artículo2002Measurement of the switching activity of CMOS digital circuits at the gate levelLecture Notes in Computer Science
Artículo2002Mixed parsing of tree insertion and Tree Adjoining GrammarsADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Artículo2002Mobile interface for a smart wheelchairHUMAN COMPUTER INTERACTION WITH MOBILE DEVICES
Editorial2002PrefaceLecture Notes in Computer Science
Editorial2002PrefaceLecture Notes in Computer Science
Ponencia2002PrefaceLecture Notes in Computer Science
Artículo2002Qualitative comparison of temporal series. QSITOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Artículo2002Requirements capture workflow in global information systemsOBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS
Artículo2002Selective clock-gating for low power/low noise synchronous countersLecture Notes in Computer Science
Artículo2002SOAP: Efficient feature selection of numeric attributesADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Ponencia2002Solving knapsack problems in a sticker based modelLecture Notes in Computer Science
Artículo2002Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experimentUNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS
Ponencia2002Specification of Adleman’s restricted model using an automated reasoning system: Verification of Lipton’s experimentLecture Notes in Computer Science
Artículo2002Synthetic generation of events for address-event-representation communicationsLecture Notes in Computer Science
Artículo2002The largest empty annulus problemCOMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS
Artículo2002Vision-based system for the safe operation of a solar power tower plantADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Ponencia2001A conjugate gradient method and simulated annealing for blind separation of sourcesLecture Notes in Computer Science
Ponencia2001A QoS system for CaTV networksLecture Notes in Computer Science
Capítulo2001An Algorithm for Computing Cocyclic Matrices Developed over Some Semidirect ProductsLecture Notes in Computer Science
Artículo2001An evolutionary algorithm for the design of hybrid fiber optic-coaxial cable networks in small urban areasLecture Notes in Computer Science
Ponencia2001Blind separation of sources by differentiating the output cumulants and using Newton’s methodARTIFICIAL NEURAL NETWORKS-ICANN 2001, PROCEEDINGS
Ponencia2001Classification of disturbances in electrical signals using neural networksLecture Notes in Computer Science
Ponencia2001Formalizing rewriting in the ACL2 theorem proverLecture Notes in Computer Science
Artículo2001Formalizing rewriting in the ACL2 theorem proverARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Artículo2001Genetic line searchCOMPUTATIONAL SCIENCE -- ICCS 200, PROCEEDINGS PT 2
Artículo2001Labeling subway linesALGORITHMS AND COMPUTATION, PROCEEDINGS
Ponencia2001Non-parametric Nearest Neighbor with local adaptationLecture Notes in Computer Science
Ponencia2001OBLIC: Classification system using evolutionary algorithmLecture Notes in Computer Science
Artículo2001Proposed architectures for the integration of H.323 and QoS over IP networksNETWORKING - ICN 2001, PART II, PROCEEDINGS
Artículo2001Separation surfaces through genetic programmingLecture Notes in Computer Science
Ponencia2001SNN: A supervised clustering algorithmLecture Notes in Computer Science
Ponencia2001Structural constraint-based modeling and reasoning with basic configuration cellsLecture Notes in Computer Science
Ponencia2001The minimum entropy and cumulants based contrast functions for blind source extractionLecture Notes in Computer Science
Artículo2001Verifying an applicative ATP using multiset relationsCOMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001
Ponencia2001Verifying an applicative ATP using multiset relationsLecture Notes in Computer Science
Ponencia2000An application of self-timed circuits to the reduction of switching noise in analog-digital circuitsINTEGRATED CIRCUIT DESIGN, PROCEEDINGS
Artículo2000Degradation delay model extension to CMOS gatesINTEGRATED CIRCUIT DESIGN, PROCEEDINGS
Artículo2000Homotopy in digital spacesDISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS
Artículo2000Influence of clocking strategies on the design of low switching-noise digital and mixed-signal VLSI circuitsINTEGRATED CIRCUIT DESIGN, PROCEEDINGS
Artículo2000The evolution of a 3-d C.A. to Perform a Collective Behavior TaskLecture Notes in Computer Science
Ponencia2000Using maudeLecture Notes in Computer Science
Ponencia1999A digital lighting function for strong 26-surfacesLecture Notes in Computer Science
Artículo1999Adaptive resonance theory microchipsFOUNDATIONS AND TOOLS FOR NEURAL MODELING, PROCEEDINGS, VOL I
Ponencia1999The maude systemLecture Notes in Computer Science
Ponencia1999Triangle-free planar graphs as segments intersection graphsLecture Notes in Computer Science
Artículo1999Triangle-free planar graphs as segments intersection graphsGRAPH DRAWING
Ponencia1998A review of earley-based parser for TIGLecture Notes in Computer Science
Ponencia1998A tool to obtain a hierarchical qualitative rules from quantitative dataLecture Notes in Computer Science
Ponencia1998An evolutionary and local search algorithm for planning two manipulators motionLecture Notes in Computer Science
Ponencia1998Automatic semiqualitative analysis: Application to a biometallurgical systemLecture Notes in Computer Science
Artículo1998Decision queue classifier for supervised learning using rotated hyperboxesPROGRESS IN ARTIFICIAL INTELLIGENCE-IBERAMIA 98
Ponencia1998Including qualitative knowledge in semiqualitative dynamical systemsLecture Notes in Computer Science
Artículo1998Overload screening of transmission systems using neural networksLecture Notes in Computer Science
Ponencia1997A fully stochastic fuzzy logic controllerLecture Notes in Computer Science
Ponencia1997A hardware implementation of CNNs based on pulse stream techniquesLecture Notes in Computer Science
Ponencia1997AFAN, a tool for the automatic design of fuzzy and neural controllers.BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY
Ponencia1997Digital lighting functionsLecture Notes in Computer Science
Ponencia1997Embedding a graph in the grid of a surface with the minimum number of bends is NP-hardLecture Notes in Computer Science
Ponencia1997On-line continuous weld monitoring using Neural NetworksBIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY
Ponencia1996Determining the components of the complement of a digital (n-1)-manifold in ℤnLecture Notes in Computer Science
Ponencia1996Multimedia system for instruction and learning electronicsLecture Notes in Computer Science
Ponencia1996On a visibility representation of graphsLecture Notes in Computer Science
Artículo1996On a visibility representation of graphsGRAPH DRAWING
Ponencia1995A mixed parallel-sequential SHNN for large networksLecture Notes in Computer Science
Ponencia1995Low-cost accelerator for the simulation of cellular neural networksLecture Notes in Computer Science
Ponencia1991Autonomous controller tuning by using a neural networkLecture Notes in Computer Science
Ponencia1991CMOS continuous BAM with on chip learningLecture Notes in Computer Science
Artículo1989An algorithm for symbolic computation of center manifoldsLecture Notes in Computer Science