Search results for "marte"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Marte A. Ramírez-Ortegón, Lilia L. Ramírez-Ramírez, Volker Märgner, Ines Ben Messaoud 0001, Erik Cuevas, Raúl Rojas 0001	An analysis of the transition proportion for binarization in handwritten historical documents.	Pattern Recognit.	2014	DBLP DOI BibTeX RDF
27	Usman A. Marte, Uchechukwu E. Vincent, Abdulahi N. Njah, Biodun S. Badmus	Dynamical Response of Particles in Asymmetric Ratchet Potential.	Symmetry	2014	DBLP DOI BibTeX RDF
27	Michal Kaut, Kjetil T. Midthun, Adrian S. Werner, Asgeir Tomasgard, Lars Hellemo, Marte Fodstad	Multi-horizon stochastic programming.	Comput. Manag. Sci.	2014	DBLP DOI BibTeX RDF
27	Erik Cuevas, Alonso Echavarría, Marte A. Ramírez-Ortegón	An optimization algorithm inspired by the States of Matter that improves the balance between exploration and exploitation.	CoRR	2014	DBLP BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Antonio Pérez Cisneros, Marte A. Ramírez-Ortegón	Polynomial trajectory algorithm for a biped robot.	CoRR	2014	DBLP BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Antonio Pérez Cisneros, Edgar N. Sánchez, Marte A. Ramírez-Ortegón	Robust Fuzzy corner detector.	CoRR	2014	DBLP BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Antonio Pérez Cisneros, Marte A. Ramírez-Ortegón	Circle detection using Discrete Differential Evolution Optimization.	CoRR	2014	DBLP BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Pérez 0001, Marte A. Ramírez-Ortegón	Hands-on experiments on intelligent behavior for mobile robots.	CoRR	2014	DBLP BibTeX RDF
27	Erik Cuevas, Alonso Echavarría, Marte A. Ramírez-Ortegón	An optimization algorithm inspired by the States of Matter that improves the balance between exploration and exploitation.	Appl. Intell.	2014	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Lilia L. Ramírez-Ramírez, Ines Ben Messaoud 0001, Volker Märgner, Erik Cuevas, Raúl Rojas 0001	A model for the gray-intensity distribution of historical handwritten documents and its application for binarization.	Int. J. Document Anal. Recognit.	2014	DBLP DOI BibTeX RDF
27	Cathrine Hove, Marte Tarnes, Maria B. Line, Karin Bernsmed	Information Security Incident Management: Identified Practice in Large Organizations.	IMF	2014	DBLP DOI BibTeX RDF
27	Yohan Shim, Marte Fodstad, Steven A. Gabriel, Asgeir Tomasgard	A branch-and-bound method for discretely-constrained mathematical programs with equilibrium constraints.	Ann. Oper. Res.	2013	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Volker Märgner, Erik Cuevas, Raúl Rojas 0001	An optimization for binarization methods by removing binary artifacts.	Pattern Recognit. Lett.	2013	DBLP DOI BibTeX RDF
27	Adriano Galindo Leal, Alessandro Santiago dos Santos, Mario Yoshikazu Miyake, Cláudio Luiz Marte	Assessment of maturity and efficacy of Toll Collection Ecosystems.	ITSC	2013	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Volker Märgner, Raúl Rojas 0001, Erik Cuevas	An Objective Method to Evaluate Stroke-Width Measures for Binarized Documents.	ICDAR	2013	DBLP DOI BibTeX RDF
27	Branislava Curcic-Blake, Marte Swart, Gert J. ter Horst, Dave R. M. Langers, Ido P. Kema, André Aleman	Variation of the gene coding for DARPP-32 (PPP1R1B) and brain connectivity during associative emotional learning.	NeuroImage	2012	DBLP DOI BibTeX RDF
27	Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong, Amund Skavhaug	Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment.	SAFECOMP Workshops	2012	DBLP DOI BibTeX RDF
27	Stephanie B. Linek, Birgit Marte, Dietrich Albert	Background Music in Educational Games: Motivational Appeal and Cognitive Impact.	Int. J. Game Based Learn.	2011	DBLP DOI BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Antonio Pérez Cisneros, Edgar N. Sánchez, Marte A. Ramírez-Ortegón	Robust Fuzzy Corner Detector.	Intell. Autom. Soft Comput.	2011	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Edgar A. Duéñez-Guzmán, Raúl Rojas 0001, Erik Cuevas	Unsupervised measures for parameter selection of binarization algorithms.	Pattern Recognit.	2011	DBLP DOI BibTeX RDF
27	Marte Swart, Richard Bruggeman, Frank Larøi, Behrooz Z. Alizadeh, Ido P. Kema, Rudie Kortekaas, Durk Wiersma, André Aleman	COMT Val158Met polymorphism, verbalizing of emotion and activation of affective brain systems.	NeuroImage	2011	DBLP DOI BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Antonio Pérez Cisneros, Marte A. Ramírez-Ortegón	Circle detection using discrete differential evolution optimization.	Pattern Anal. Appl.	2011	DBLP DOI BibTeX RDF
27	Bruno Laeng, Marte Ørbo, Terje Holmlund, Michele Miozzo	Pupillary Stroop effects.	Cogn. Process.	2011	DBLP DOI BibTeX RDF
27	Marte Karidatter Skadsem, Randi Karlsen, Gordon S. Blair, Keith Mitchell	Community Cloud - Cloud Computing for the Community.	CLOSER	2011	DBLP BibTeX RDF
27	Marte Alejandro Ramírez-Ortegón	The transition method for binarization.		2011	RDF
27	Marte A. Ramírez-Ortegón, Ernesto Tapia, Raúl Rojas 0001, Erik Cuevas	Transition thresholds and transition operators for binarization and edge detection.	Pattern Recognit.	2010	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Ernesto Tapia, Lilia L. Ramírez-Ramírez, Raúl Rojas 0001, Erik Cuevas	Transition pixel: A concept for binarization based on edge detection and gray-intensity histograms.	Pattern Recognit.	2010	DBLP DOI BibTeX RDF
27	Erik Cuevas, Daniel Zaldivar 0001, Marco Antonio Pérez Cisneros, Marte A. Ramírez-Ortegón	Polynomial Trajectory Algorithm for a Biped Robot.	Int. J. Robotics Autom.	2010	DBLP DOI BibTeX RDF
27	Reto Krummenacher, Daniel Winkler, Adrian Marte	WSML2Reasoner - A Comprehensive Reasoning Framework for the Semantic Web.	ISWC (Posters & Demos)	2010	DBLP BibTeX RDF
27	Raúl García-Castro, Stephan Grimm, Ioan Toma, Michael Schneider 0001, Adrian Marte	The SEALS yardsticks for ontology management.	IWEST@ISWC	2010	DBLP BibTeX RDF
27	Barry Norton, Reto Krummenacher, Adrian Marte, Dieter Fensel	Dynamic Linked Data via Linked Open Services.	LDSI@FIA	2010	DBLP BibTeX RDF
27	Marte A. Ramírez-Ortegón, Raúl Rojas 0001	Transition Thresholds for Binarization of Historical Documents.	ICPR	2010	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Raúl Rojas 0001	Unsupervised Evaluation Methods Based on Local Gray-Intensity Variances for Binarization of Historical Documents.	ICPR	2010	DBLP DOI BibTeX RDF
27	Reto Krummenacher, Barry Norton, Adrian Marte	Towards Linked Open Services and Processes.	FIS	2010	DBLP DOI BibTeX RDF
27	Daniel Winkler, Reto Krummenacher, Adrian Marte	RIF-BLD Reasoning with IRIS.	RuleML Challenge	2010	DBLP BibTeX RDF
27	Frode Rømo, Asgeir Tomasgard, Lars Hellemo, Marte Fodstad, Bjørgulf Haukelidsæter Eidesen, Birger Pedersen	Optimizing the Norwegian Natural Gas Production and Transport.	Interfaces	2009	DBLP DOI BibTeX RDF
27	Marte Karidatter Skadsem, Njål T. Borch, Randi Karlsen	DeLight: A Peer-to-Peer Storage and Processing System.	ICIW	2009	DBLP DOI BibTeX RDF
27	Birgit Marte, Christina M. Steiner, Jürgen Heller, Dietrich Albert	Activity- and taxonomy-based knowledge representation framework.	Int. J. Knowl. Learn.	2008	DBLP DOI BibTeX RDF
27	Alf Inge Wang, Eivind Sorteberg, Martin Jarrett, Anne Marte Hjemås	Issues related to mobile multiplayer real-time games over wireless networks.	CTS	2008	DBLP DOI BibTeX RDF
27	Michael Marte	Towards constraint-based school timetabling.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF
27	Mante S. Nieuwland, Marte Otten, Jos J. A. Van Berkum	Who are You Talking About? Tracking Discourse-level Referential Processing with Event-related Brain Potentials.	J. Cogn. Neurosci.	2007	DBLP DOI BibTeX RDF
27	Mbemba Jabbi, Marte Swart, Christian Keysers	Empathy for positive and negative emotions in the gustatory cortex.	NeuroImage	2007	DBLP DOI BibTeX RDF
27	Asgeir Tomasgard, Frode Rømo, Marte Fodstad, Kjetil T. Midthun	Optimization Models for the Natural Gas Value Chain.	Geometric Modelling, Numerical Simulation, and Optimization	2007	DBLP DOI BibTeX RDF
27	Marte Newcombe	Eleven Fifty Nine; Landfill; Running on Empty; Robotman; Drought; Here, There.	SIGGRAPH Art Gallery	2007	DBLP DOI BibTeX RDF
27	Marte A. Ramírez-Ortegón, Ernesto Tapia, Marco Block, Raúl Rojas 0001	Quantile Linear Algorithm for Robust Binarization of Digitalized Letters.	ICDAR	2007	DBLP DOI BibTeX RDF
27	Jürgen Fortin, W. Marte, R. Grüllenberger, A. Hacker, W. Habenbacher, Axel R. Heller, Ch. Wagner, Paul Wach, Falko Skrabal	Continuous non-invasive blood pressure monitoring using concentrically interlocking control loops.	Comput. Biol. Medicine	2006	DBLP DOI BibTeX RDF
27	Marte Newcombe	Soothsayers.	SIGGRAPH Art Gallery	2006	DBLP DOI BibTeX RDF
27	Aurelie Bechina Arntzen, Anne-Marte Krosgrud	Web-Services Architecture: The Solution For E-Government Applications.	CSREA EEE	2006	DBLP BibTeX RDF
27	Lasse Berntzen, Marte Winsvold	A Web-based Tool to Support Citizen Initiative.	EGOV (Workshops and Posters)	2005	DBLP BibTeX RDF
27	Lasse Berntzen, Marte Winsvold	Web-Based Tools for Policy Evaluation.	TCGOV	2005	DBLP DOI BibTeX RDF
27	Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi 0001	Soft Constraint Propagation and Solving in Constraint Handling Rules.	Comput. Intell.	2004	DBLP DOI BibTeX RDF
27	Harm Greidanus, Peter J. S. Clayton, Marte Indregard, Gordon Staples, Naoki Suzuki, Paris W. Vachon, Chris Wackerman, Tove Tennvassas, Jordi J. Mallorquí, Naouma Kourti, Robert Ringrose 0002, Harm W. Melief	Benchmarking operational SAR ship detection.	IGARSS	2004	DBLP DOI BibTeX RDF
27	Otto-Carl Marte, Patrick C. Marais	Model-based segmentation of CT images.	South Afr. Comput. J.	2002	DBLP BibTeX RDF
27	Stefano Bistarelli, Thom W. Frühwirth, Michael Marte	Soft constraint propagation and solving in CHRs.	SAC	2002	DBLP DOI BibTeX RDF	constraint reasoning algorithms, constraint programming
27	Marte Newcombe	Acension, Scorpion.	SIGGRAPH Electronic Art and Animation Catalog	2002	DBLP DOI BibTeX RDF
27	Michael Marte	A Modular Approach to Proving Confluence.	FroCoS	2002	DBLP DOI BibTeX RDF
27	Caleb Lyness, Otto-Carl Marte, Bryan Wong, Patrick C. Marais	Low-cost model reconstruction from image sequences.	Afrigraph	2001	DBLP DOI BibTeX RDF	Model Reconstruction, Volume Carving, Image Processing, Texture Mapping, Camera Calibration, Iso-surface
27	Slim Abdennadher, Michael Marte	University Course Timetabling Using Constraint Handling Rules.	Appl. Artif. Intell.	2000	DBLP DOI BibTeX RDF
27	Slim Abdennadher, Michael Marte	University timetabling using constraint handling rules.	JFPLC	1998	DBLP BibTeX RDF
27	Fabrizio Angiulli, F. De Marte, Luigi Palopoli 0001, Riccardo Torlone	The GPR System: an Architecture for Integrating Active and Deductive Rules.	SEBD	1995	DBLP BibTeX RDF
27	Gert Marte, Heinrich Hönerloh	Die Optimierung linearer Modelle überlasteter Straßennetze mit öffentlichem Verkehr.	Z. Oper. Research	1978	DBLP DOI BibTeX RDF
27	Gert Marte	Die Synthese von Teilnehmerrechensystemen mit mehreren Teilaufgaben pro Aufgabe.	Elektron. Rechenanlagen	1973	DBLP DOI BibTeX RDF
27	Hans-Jürgen Küspert, Gert Marte	Optimale Rechenzeit-Zuteilung bei einem Teilnehmer-Rechensystem mit jeweils einer Aufgabe im Arbeitsspeicher.	Elektron. Rechenanlagen	1970	DBLP DOI BibTeX RDF
22	Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson	Pattern-Driven Support for Designing Component-Based Architectural Models.	ECBS	2011	DBLP DOI BibTeX RDF	clock constraints, UML/Marte, embedded system, components
22	Isabelle Perseil, Laurent Pautet	High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.	ECBS	2010	DBLP DOI BibTeX RDF	Real-time systems, Abstraction, Analysis, MARTE
22	Diego Perez-Palacin, José Merseguer, Simona Bernardi 0001	Performance aware open-world software in a 3-layer architecture.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	open-world software, uml-marte, petri nets, software components, self-managed systems
22	Isabelle Perseil, Laurent Pautet	Foundations of a new software engineering method for real-time systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method
20	Vittorio Cortellessa, Luigi Pomante, Vincenzo Stoico	From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation.	ICPE (Companion)	2023	DBLP DOI BibTeX RDF
20	Youcef Benabdallah Ahcene, Rachid Boudour	A fast prototype for modeling IP cores using in SoC with UML Marte.	Informatica (Slovenia)	2021	DBLP DOI BibTeX RDF
20	Mathieu Muzellec, Paul Vivot, Rob A. Vingerhoeds, Pierre de Saqui-Sannes	Towards a combination of MARTE and ECOA.	SysCon	2021	DBLP DOI BibTeX RDF
20	Nissaf Fredj, Yessine Hadj Kacem, Olfa Kanoun, Mohamed Abid	Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems.	ICSOFT	2021	DBLP DOI BibTeX RDF
20	Nadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi	Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model.	Comput. Informatics	2020	DBLP DOI BibTeX RDF
20	Xinwen Hu, Yi Zhuang 0002, Fuyuan Zhang	A security modeling and verification method of embedded software based on Z and MARTE.	Comput. Secur.	2020	DBLP DOI BibTeX RDF
20	Marco Aurélio Wehrmeister	Generating ROS-based Software for Industrial Cyber-Physical Systems from UML/MARTE.	ETFA	2020	DBLP DOI BibTeX RDF
20	Héctor Posadas, Javier Merino, Eugenio Villar	Data flow analysis from UML/MARTE models based on binary traces.	DCIS	2020	DBLP DOI BibTeX RDF
20	Aamir M. Khan, Frédéric Mallet, Muhammad Rashid	A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Michel S. Soares	Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML.	Autom.	2019	DBLP DOI BibTeX RDF
20	Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed	A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems.	ENASE	2019	DBLP DOI BibTeX RDF
20	Stefano Di Alesio, Sagar Sen	Using UML/MARTE to support performance tuning and stress testing in real-time systems.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Carlos Eduardo Pereira, Achim Rettberg, Michel S. Soares	Model-based requirements specification of real-time systems with UML, SysML and MARTE.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
20	Min Zhang 0002, Feng Dai, Frédéric Mallet	Periodic scheduling for MARTE/CCSL: Theory and practice.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
20	Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet	pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
20	Bo Chen 0010, Xi Li 0003, Xuehai Zhou	Model checking of MARTE/CCSL time behaviors using timed I/O automata.	J. Syst. Archit.	2018	DBLP DOI BibTeX RDF
20	Hiliwi Leake Kidane, El-Bay Bourennane	MARTE and IP-XACT Based Approach for Run-Time Scalable NoC.	MCSoC	2018	DBLP DOI BibTeX RDF
20	Shouvik Dey, Rumpa Hazra, Ananya Kanjilal, Swapan Bhattacharya	Automated consistency checking of UML/MARTE based software systems.	TENCON	2018	DBLP DOI BibTeX RDF
20	Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du	Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Charles Steinmetz, Michel S. Soares	SPES Methodology and MARTE Constraints in Architectural Design.	ISCC	2018	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Achim Reuberg, Carlos Eduardo Pereira, Michel S. Soares	An Approach for Architectural Design of Automotive Systems using MARTE and SysML.	CASE	2018	DBLP DOI BibTeX RDF
20	Davide Brugali	Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE.	RCAR	2018	DBLP DOI BibTeX RDF
20	Nissaf Fredj, Yessine Hadj Kacem, Mohamed Abid	Runtime UML MARTE Extensions for the Design of Adaptive RTE Systems.	ISDA (2)	2018	DBLP DOI BibTeX RDF
20	Raoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid	A UML/MARTE Based Design Pattern for a Wireless Sensor Node.	ISDA (1)	2018	DBLP DOI BibTeX RDF
20	Amina Magdich, Yessine Hadj Kacem, Bouthaina Dammak, Adel Mahfoudhi, Mohamed Abid	From Dynamic UML/MARTE Models to Early Schedulability Analysis of RTES with Dependent Tasks.	ISDA (2)	2018	DBLP DOI BibTeX RDF
20	Fernando Herrera, Julio L. Medina, Eugenio Villar	Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach.	Handbook of Hardware/Software Codesign	2017	DBLP DOI BibTeX RDF
20	David de la Fuente, Jesús Barba, Juan Carlos López 0001, Pablo Peñil, Héctor Posadas, Pablo Sánchez Espeso	Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models.	Multim. Tools Appl.	2017	DBLP DOI BibTeX RDF
20	Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frédéric Mallet, Robert de Simone	Explicit Control of Dataflow Graphs with MARTE/CCSL.	MODELSWARD	2017	DBLP DOI BibTeX RDF
20	Raoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid	Network Reconfiguration for Wireless Sensor Networks using UML/MARTE Profile.	ENASE	2017	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Michel S. Soares	Applying MARTE Profile for Optimal Automotive System Specifications and Design.	HICSS	2017	DBLP BibTeX RDF
20	Anna Derezinska, Marian Szczykulski	Advances in Transformation of MARTE Profile Time Concepts in Model-Driven Software Development.	CSOC (3)	2017	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Silvia Silva da Costa Botelho, Michel S. Soares	Guidelines for using MARTE profile packages considering concerns of real-time embedded systems.	INDIN	2017	DBLP DOI BibTeX RDF
20	Marcela Leite, Marco Aurélio Wehrmeister	System-level design based on UML/MARTE for FPGA-based embedded real-time systems.	Des. Autom. Embed. Syst.	2016	DBLP DOI BibTeX RDF