UCCS

Software component identification is one of the primary challenges in component based software engineering. Typically, the identification is done by analyzing existing software artifacts. When considering object-oriented systems, many approaches have ...

Strong evidence support the tenet that emotions pose an important positive component in the process of decision making and other cognitive processes. In parallel with that, improper emotional responses can be tracked in many forms of psychopathology. ...

The notion of cluster ensembles has been accepted in recent years as an effective alternative to individual clustering. Ensemble based clustering methods have typically focussed on combining different clustering results from a single data set and have ...

Procedural Content Generation (PCG) is the process of automating the construction of media types for use in game development, the movie industry, and other creative fields. By approaching the process of media creation as a search for content which is ...

The General Intensional Programming System (GIPSY) is a framework for the compilation and distributed demand-driven evaluation of context-aware declarative programs. Its distributed run-time system includes a demand migration framework that has up to ...

The emerging fields of digital humanities and humanities computing require new approaches in the area of their education by computer scientists. Currently, the role of educators in computer science has been to ready computer science students to obtain ...

The famous LLL algorithm is the first polynomial time lattice reduction algorithm which is widely used in many applications. In this paper, we present a novel weak Quasi-Jacobi lattice basis reduction algorithm based on a polynomial time algorithm, ...

Finding the longest common subsequence (LCS) of multiple strings is a well-known problem that has many applications in various fields, such as computational biology and computational genomics. This problem has been studied by a number of researchers and ...

One major challenge in self-adaptive systems is to assure the required quality properties. Formal methods provide the means to rigorously specify and reason about the behaviors of self-adaptive systems, both at design time and runtime. To the best of ...

In this paper, the detection of the boundaries and extraction of the area of left ventricular are proposed. The echocardiographic image is preprocessed to enhance the contrast and smoothness by utilizing Multi Valued Neural Cellular Neural Networks (MVN_...

Semantically accurate segmentation of a particular Object Of Interest (OOI) in an image is an important but challenging step in computer vision tasks. Our recently proposed object-specific segmentation algorithm learns a model of the OOI which includes ...

Services are the core business of each organization. But business services identification leads often to compliance problem with the legal sources. The main reason to this conflict is due to a miss communication between Business Law experts, Business ...

Constraints are widely used in information technologies and research fields such as programming languages, artificial intelligence, databases, information security, web technologies, etc. In this paper, we present our preliminary steps of using soft ...

Using the Semantic Web (SW) technologies in Software Engineering (SE) is one way of overcoming current SE problems. In this article, we have proposed a semantic method for rapid software development, namely SRAD. From the SRAD point of view, static and ...

The Supervisory Control Theory (SCT) introduced by Ramadge and Wonham offers a framework for the control of Discrete Event Systems. In this paper, we formalize some concepts about corrective software maintenance within this framework. More specifically, ...

An autonomic system is considered to be a self-adaptive system that changes its behavior in response to stimuli from its execution and operational environment. Such behavior is considered autonomic and self-adaptive and is intended to drive intelligent ...

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their ...

We describe details of modeling and implementation of an interactive work of a jellyfish simulation using OpenGL and the Softbody Simulation System. We outline our process, setup, planned exhibition installation, and the difficulties encountered and the ...

In this paper, we describe the current direction of PhD research into the design of creatively biased 3D interactions and interfaces. Specifically, we discuss the addition of gestural and tangible input to an existing stereoscopic 3D drawing system.