Search results for "SOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	José Meseguer 0001, Grigore Rosu	The Rewriting Logic Semantics Project.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
37	Ralf Lämmel	Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
37	Olivier Tardieu	A Deterministic Logical Semantics for Esterel.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
37	Matthias Mann 0001	Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
37	Marija Kulas	Toward the Concept of Backtracking Computation.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
37	Bartek Klin	From Bialgebraic Semantics to Congruence Formats.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
37	Luca Aceto, Wan J. Fokkink, Irek Ulidowski	Preface.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
34	Jacek Dmochowski, Jacob Benesty, Sofiène Affes	An Information-Theoretic Viewof ArrayProcessing.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
34	Esma Yahia, Jing Yang, Alexis Aubry, Hervé Panetto	On the Use of Description Logic for Semantic Interoperability of Enterprise Systems.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Ontology, Information Systems, Description Logic, Semantic Interoperability, System-of-Systems
34	Despoina Tsipouridou, Athanasios P. Liavas	On the Sensitivity of the Transmit MIMO Wiener Filter With Respect to Channel and Noise Second-Order Statistics Uncertainties.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
34	David Furcy, Thomas L. Naps, Jason Wentworth	Sorting out sorting: the sequel.	ITiCSE	2008	DBLP DOI BibTeX RDF	engagement level, visualization, interactivity, animation, pedagogy, flash
34	Joseph L. Hellerstein	Engineering Self-Organizing Systems.	IWSOS	2007	DBLP DOI BibTeX RDF
34	Yutaka Satoh, Katsuhiko Sakaue	Development of Omni-directional Stereo Vision-based Intelligent Electric Wheelchair.	ICPR (4)	2006	DBLP DOI BibTeX RDF
34	Alok Chaturvedi	A society of simulation approach to dynamic integration of simulations.	WSC	2006	DBLP DOI BibTeX RDF
34	Kwangcheol Shin, Ajith Abraham, Sang-Yong Han	Self Organizing Sensor Networks Using Intelligent Clustering.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
34	Pin Chen	Architecture-Based Interoperability Evaluation in Evolutions of Networked Enterprises.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF
34	Yun Ye, Saman S. Abeysekera	Evaluating a blind channel estimation technique that uses a hardware efficient equalizer.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
34	Gábor N. Sárközy, Stanley M. Selkow	An Extension Of The Ruzsa-Szemerédi Theorem.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C65, 05C70
34	Nikolai Nefedov	On Subspace Channel Estimation in Multipath SIMO and MIMO Channels.	ICT	2004	DBLP DOI BibTeX RDF
34	Dong Xuan, Sriram Chellappan, Xun Wang, Shengquan Wang	Analyzing the Secure Overlay Services Architecture under Intelligent DDoS Attacks.	ICDCS	2004	DBLP DOI BibTeX RDF
34	Pablo A. Parrilo	Sums of squares of polynomials and their applications.	ISSAC	2004	DBLP DOI BibTeX RDF	semidefinite programming, convex optimization, multivariate polynomials, sum of squares
34	Wenbo Mao	A Structured Operational Modelling of the Dolev-Yao Threat Model.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
34	Maria Normark	Sense-making of an emergency call: possibilities and constraints of a computerized case file.	NordiCHI	2002	DBLP DOI BibTeX RDF	centers of coordination, time-critical work, CSCW, coordination, ethnography, ethnomethodology, workplace study, control rooms
34	John Domingue	Software Visualization and Education - Introduction.	Software Visualization	2001	DBLP DOI BibTeX RDF
34	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	A Pi-Calculus with Explicit Substitutions: the Late Semantics.	MFCS	1994	DBLP DOI BibTeX RDF
34	Patrick Cousot, Radhia Cousot	Inductive Definitions, Semantics and Abstract Interpretation.	POPL	1992	DBLP DOI BibTeX RDF
34	Nupur Kothari, Kiran Nagaraja, Vijay Raghunathan, Florin Sultan, Srimat T. Chakradhar	HERMES: A Software Architecture for Visibility and Control in Wireless Sensor Network Deployments.	IPSN	2008	DBLP DOI BibTeX RDF	interposition, sensor networks, control, software reliability, visibility, SOS
33	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
33	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
32	Min-Yuan Cheng, Richard Antoni Gosno	SOS 2.0: an evolutionary approach for SOS algorithm.	Evol. Intell.	2021	DBLP DOI BibTeX RDF
32	Matteo Tacchi	Moment-SOS hierarchy for large scale set approximation.Application to power systems transient stability analysis. (Hiérarchie moments-SOS pour approximation ensembliste à grande échelle. Application à l'analyse de stabilité transitoire des systèmes électriques).		2021	RDF
32	Yang Zheng 0001, Giovanni Fantuzzi, Antonis Papachristodoulou	Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials.	ACC	2019	DBLP DOI BibTeX RDF
32	Michael Borth, Jacques Verriet, Gerrit Muller	Digital Twin Strategies for SoS 4 Challenges and 4 Architecture Setups for Digital Twins of SoS.	SoSE	2019	DBLP DOI BibTeX RDF
32	Yang Zheng 0001, Giovanni Fantuzzi, Antonis Papachristodoulou	Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials.	CoRR	2018	DBLP BibTeX RDF
32	Jae-Hyoung Lee, Gue Myung Lee	On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint.	Math. Program.	2018	DBLP DOI BibTeX RDF
32	Sofiane Chaieb, Michael Wegerson, Benjamin Kading, Jeremy Straub, Ronald Marsh, David Whalen	The OpenOrbiter CubeSat as a system-of-systems (SoS) and how SoS engineering (SoSE) Aids CubeSat design.	SoSE	2015	DBLP DOI BibTeX RDF
32	Mahmoud Efatmaneshnik, Michael J. Ryan	Failure propagation in SoS: Why SoS should be loosely coupled.	SoSE	2014	DBLP DOI BibTeX RDF
32	Seung Yeob Han, Daniel DeLaurentis	Development Interdependency Modeling for System-of-Systems (SoS) using Bayesian Networks: SoS Management Strategy Planning.	CSER	2013	DBLP DOI BibTeX RDF
32	Jo Ann Lane	SoS Management Strategy Impacts on SoS Engineering Effort.	ICSP	2010	DBLP DOI BibTeX RDF
32	Azad M. Madni, Assad Moini	Viewing Enterprises as Systems-of-Systems (SOS): Implications for SOS Research.	Trans. SDPS	2007	DBLP BibTeX RDF
27	Ju-Min Zhao, Deng-ao Li, Huakui Wang, Liyi Zhang, Jing Li	Study on Blind Equalization Algorithm Based on SOS.	FSKD (3)	2007	DBLP DOI BibTeX RDF
27	Noga Alon, Asaf Shapira	On An Extremal Hypergraph Problem Of Brown, Erdös And Sós.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C65, 05D99
27	Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote	Congruence for SOS with Data.	LICS	2004	DBLP DOI BibTeX RDF
27	Evgueni Ossipov, Gunnar Karlsson	SOS: Sender Oriented Signaling for a Simplified Guaranteed Service.	QofIS	2002	DBLP DOI BibTeX RDF
27	Alyssa B. Apsel, Andreas G. Andreou, J. Liu	A 6 channel array of 5 milliwatt, 500 MHz optical receivers in .5 μm SOS CMOS.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
27	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
27	Hideki Tanahashi, Daisuke Shimada, Kazuhiko Yamamoto, Yoshinori Niwa	Acquisition of Three-Dimensional Information in a Real Environment by Using the Stereo Omni-directional System (SOS).	3DIM	2001	DBLP DOI BibTeX RDF
27	Irek Ulidowski, Iain C. C. Phillips	Formats of Ordered SOS Rules with Silent Actions.	TAPSOFT	1997	DBLP DOI BibTeX RDF
27	Karl-Heinz Buth	Simulation of SOS Definitions with Term Rewriting Systems.	ESOP	1994	DBLP DOI BibTeX RDF
24	Shao Liu, Sos S. Agaian	3DEmo: For Portrait Emotion Recognition with New Dataset.	ACM Journal on Computing and Cultural Heritage	2024	DBLP DOI BibTeX RDF
24	Hayk A. Gasparyan, Tatevik A. Davtyan, Sos S. Agaian	A Novel Framework for Solar Panel Segmentation From Remote Sensing Images: Utilizing Chebyshev Transformer and Hyperspectral Decomposition.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
24	Vladimir Frants, Sos S. Agaian, Karen Panetta	QSAM-Net: Rain Streak Removal by Quaternion Neural Network With Self-Attention Module.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
24	Xiaopan Li, Shiqian Wu, Shoulie Xie, Sos S. Agaian	Dynamic-Clustering Extreme Intensity Prior Based Blind Image Deblurring.	J. Math. Imaging Vis.	2024	DBLP DOI BibTeX RDF
24	Xiaopan Li, Shiqian Wu, Jiaxin Wu, Shoulie Xie, Sos S. Agaian	Perception-guided defocus blur detection based on SVD feature.	Image Vis. Comput.	2023	DBLP DOI BibTeX RDF
24	Thaweesak Trongtirakul, Sos S. Agaian, Shiqian Wu	Adaptive Single Low-Light Image Enhancement by Fractional Stretching in Logarithmic Domain.	IEEE Access	2023	DBLP DOI BibTeX RDF
24	Karen Panetta, Shreyas Kamath K. M, Shishir Paramathma Rao, Sos S. Agaian	Deep Perceptual Image Enhancement Network for Exposure Restoration.	IEEE Trans. Cybern.	2023	DBLP DOI BibTeX RDF
24	Vladimir Frants, Sos S. Agaian, Karen Panetta	QCNN-H: Single-Image Dehazing Using Quaternion Neural Networks.	IEEE Trans. Cybern.	2023	DBLP DOI BibTeX RDF
24	Chunyu Yuan, Sos S. Agaian	A comprehensive review of Binary Neural Network.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
24	Hrach Ayunts, Sos S. Agaian	No-Reference Quality Metrics for Image Decolorization.	IEEE Trans. Consumer Electron.	2023	DBLP DOI BibTeX RDF
24	Silvano A. Bernabel, Sos S. Agaian	NDELS: A Novel Approach for Nighttime Dehazing, Low-Light Enhancement, and Light Suppression.	CoRR	2023	DBLP DOI BibTeX RDF
24	Chunyu Yuan, Dongfang Zhao 0001, Sos S. Agaian	UCM-Net: A Lightweight and Efficient Solution for Skin Lesion Segmentation using MLP and CNN.	CoRR	2023	DBLP DOI BibTeX RDF
24	Adel Oulefki, Yassine Himeur, Thaweesak Trongtirakul, Kahina Amara, Sos S. Agaian, Samir Benbelkacem, Mohamed Amine Guerroudji, Mohamed Zemmouri, Sahla Ferhat, Nadia Zenati, Shadi Atalla, Wathiq Mansoor	Unveiling the Invisible: Enhanced Detection and Analysis of Deteriorated Areas in Solar PV Modules Using Unsupervised Sensing Algorithms and 3D Augmented Reality.	CoRR	2023	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	Introduction to multiplicative group on 2-qubits in quantum color image processing.	Quantum Inf. Process.	2023	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	Multiplicative group of quantum representations of signals.	Quantum Inf. Process.	2023	DBLP DOI BibTeX RDF
24	Sargis A. Hovhannisyan, Hayk A. Gasparyan, Sos S. Agaian	EOD-Net: Enhancing Object Detection in Challenging Weather Conditions Using an Innovative End-to-End Dehazing Network.	IPTA	2023	DBLP DOI BibTeX RDF
24	Péter Földesi, Eszter Sós	Assessing Logistics Strategy Issues Under Cognitive Biases.	CogInfoCom	2023	DBLP DOI BibTeX RDF
24	Wei Cao, Shiqian Wu, Zhaoyi Liu, Sos S. Agaian	Scale-Aware Guided and Structure-Preserved Texture Filter.	IEEE Geosci. Remote. Sens. Lett.	2022	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	Commutative quaternion algebra and DSP fundamental properties: Quaternion convolution and Fourier transform.	Signal Process.	2022	DBLP DOI BibTeX RDF
24	Sargis A. Hovhannisyan, Hayk A. Gasparyan, Sos S. Agaian, Art Ghazaryan	AED-Net: A Single Image Dehazing.	IEEE Access	2022	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian, Karen Panetta	Quantum-Inspired Edge Detection Algorithms Implementation using New Dynamic Visual Data Representation and Short-Length Convolution Computation.	CoRR	2022	DBLP DOI BibTeX RDF
24	Vladimir Frants, Sos S. Agaian, Karen Panetta	QSAM-Net: Rain streak removal by quaternion neural network with self-attention module.	CoRR	2022	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	An Efficient Calculation of Quaternion Correlation of Signals and Color Images.	CoRR	2022	DBLP DOI BibTeX RDF
24	Adel Oulefki, Sos S. Agaian, Thaweesak Trongtirakul, Samir Benbelkacem, Djamel Aouam, Nadia Zenati-Henda, Mohamed-Lamine Abdelli	Virtual Reality visualization for computerized COVID-19 lesion segmentation and interpretation.	Biomed. Signal Process. Control.	2022	DBLP DOI BibTeX RDF
24	Karen Panetta, Rahul Rajendran, Aruna Ramesh, Shishir Paramathma Rao, Sos S. Agaian	Tufts Dental Database: A Multimodal Panoramic X-Ray Dataset for Benchmarking Diagnostic Systems.	IEEE J. Biomed. Health Informatics	2022	DBLP DOI BibTeX RDF
24	Thaweesak Trongtirakul, Sos S. Agaian	Unsupervised and optimized thermal image quality enhancement and visual surveillance applications.	Signal Process. Image Commun.	2022	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	Quantum representation of 1-D signals on the unit circle.	Quantum Inf. Process.	2022	DBLP DOI BibTeX RDF
24	Damir Zhakparov, Kathleen Moriarty, Nonhlanhla Lunjani, Marco Schmid, Carol Hlela, Michael Levin, Avumile Mankahla, SOS-ALL Consortium, Cezmi Akdis, Liam O'Mahony, Katja Baerenfaller, Damian Roqueiro	Assessing Different Feature Selection Methods Applied to a Bulk RNA Sequencing Dataset with Regard to Biomedical Relevance.	PKDD/ECML Workshops (2)	2022	DBLP DOI BibTeX RDF
24	Sos S. Agaian, Karen O. Egiazarian, Atanas P. Gotchev (eds.)	Image Processing: Algorithms and Systems XX, online, January 15-26, 2022	Image Processing: Algorithms and Systems	2022	DBLP BibTeX RDF
24	Eszter Sós, Péter Földesi	Fuzzy QFD assessment of logistics coherence.	GOL	2022	DBLP DOI BibTeX RDF
24	Xiaohui Yuan 0001, Sos S. Agaian, Wencheng Wang, Mohamed Elhoseny	Special Section Guest Editorial: Advances in Urban Imaging and Applications.	J. Electronic Imaging	2021	DBLP DOI BibTeX RDF
24	Shao Liu, Jiaqi Yang 0007, Sos S. Agaian, Changhe Yuan	Novel features for art movement classification of portrait paintings.	Image Vis. Comput.	2021	DBLP DOI BibTeX RDF
24	Adel Oulefki, Sos S. Agaian, Thaweesak Trongtirakul, Azzeddine Kassah Laouar	Automatic COVID-19 lung infected region segmentation and measurement using CT-scans images.	Pattern Recognit.	2021	DBLP DOI BibTeX RDF
24	Viacheslav V. Voronin, Alexander A. Zelensky, Sos S. Agaian	3-D Block-Rooting Scheme With Application to Medical Image Enhancement.	IEEE Access	2021	DBLP DOI BibTeX RDF
24	Karen Panetta, Landry Kezebou, Victor Oludare, Sos S. Agaian, Zehua Xia	TMO-Net: A Parameter-Free Tone Mapping Operator Using Generative Adversarial Network, and Performance Benchmarking on Large Scale HDR Dataset.	IEEE Access	2021	DBLP DOI BibTeX RDF
24	Karen Panetta, Shreyas Kamath K. M, Srijith Rajeev, Sos S. Agaian	FTNet: Feature Transverse Network for Thermal Image Semantic Segmentation.	IEEE Access	2021	DBLP DOI BibTeX RDF
24	Khader Mohammad, Aziz Qaroush, Mahdi Washha, Sos S. Agaian, Iyad Tumar	An adaptive text-line extraction algorithm for printed Arabic documents with diacritics.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
24	Chunyu Yuan, Sos S. Agaian	A comprehensive review of Binary Neural Network.	CoRR	2021	DBLP BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	Color-Coded Symbology and New Computer Vision Tool to Predict the Historical Color Pallets of the Renaissance Oil Artworks.	CoRR	2021	DBLP BibTeX RDF
24	Karen Panetta, Foram Sanghavi, Sos S. Agaian, Neel Madan	Automated Detection of COVID-19 Cases on Radiographs using Shape-Dependent Fibonacci-p Patterns.	IEEE J. Biomed. Health Informatics	2021	DBLP DOI BibTeX RDF
24	Sos S. Agaian, Karen O. Egiazarian, Atanas P. Gotchev (eds.)	Image Processing: Algorithms and Systems XIX, Virtual Event, 11-28 January 2021.	Image Processing: Algorithms and Systems	2021	DBLP BibTeX RDF
24	Long Bao, Karen Panetta, Sos S. Agaian	Neural network-based image quality comparator without collecting the human score for training.	IET Image Process.	2020	DBLP DOI BibTeX RDF
24	Karen Panetta, Qianwen Wan, Srijith Rajeev, Aleksandra Kaszowska, Aaron L. Gardony, Kevin Naranjo, Holly A. Taylor, Sos S. Agaian	ISeeColor: Method for Advanced Visual Analytics of Eye Tracking Data.	IEEE Access	2020	DBLP DOI BibTeX RDF
24	Thaweesak Trongtirakul, Werapon Chiracharit, Sos S. Agaian	Single Backlit Image Enhancement.	IEEE Access	2020	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	Evidence of Golden and Aesthetic Proportions in Colors of Paintings of the Prominent Artists.	IEEE Multim.	2020	DBLP DOI BibTeX RDF
24	Karen Panetta, Long Bao, Sos S. Agaian	Fast Hue-Division-Based Selective Color Transfer.	IEEE Trans. Circuits Syst. Video Technol.	2020	DBLP DOI BibTeX RDF
24	Enrique Artal Bartolo, Benoît Guerville-Ballé, Juan Viu-Sos	Fundamental Groups of Real Arrangements and Torsion in the Lower Central Series Quotients.	Exp. Math.	2020	DBLP DOI BibTeX RDF
24	Karen Panetta, Arash Samani, Xin Yuan, Qianwen Wan, Sos S. Agaian, Srijith Rajeev, Shreyas Kamath K. M, Rahul Rajendran, Shishir Paramathma Rao, Aleksandra Kaszowska, Holly A. Taylor	A Comprehensive Database for Benchmarking Imaging Systems.	IEEE Trans. Pattern Anal. Mach. Intell.	2020	DBLP DOI BibTeX RDF
24	Long Bao, Karen Panetta, Sos S. Agaian	Impulse Noise Detector Performance Measure Based on Intensity Volume.	J. Signal Process. Syst.	2020	DBLP DOI BibTeX RDF
24	Artyom M. Grigoryan, Sos S. Agaian	New look on quantum representation of images: Fourier transform representation.	Quantum Inf. Process.	2020	DBLP DOI BibTeX RDF
24	Sos S. Agaian, Karen O. Egiazarian, Atanas P. Gotchev (eds.)	Image Processing: Algorithms and Systems XVIII, Burlingame, CA, USA, 26-30 January 2020.	Image Processing: Algorithms and Systems	2020	DBLP BibTeX RDF