In this research, we have extended the use of Kernel Dimensionality Reduction (KDR) in the context of semi supervised learning in particular for micro-array DNA clustering application. We have proposed a new model cal...
详细信息
作者：
Noll, JohnLiu, Wei-MingLero
the Irish Software Engineering Centre Department of Computer Science and Information Systems University of Limerick Limerick Ireland Computer Science Department
University of Southern California University Park CA United States
A growing body of empirical research has examined large, successful open source software projects such as the Linux kernel, Apache web server, and Mozilla web browser. Do these results extend to small open source effo...
详细信息
In this paper, we propose a taxonomy that characterizes and classifies different components of autonomic application management in Grids. We also survey several representative Grid systems developed by various project...
详细信息
Requirements specification should not be concerned only with the software specification, but should also be able to integrate with the organizational models describing the environment in which the system will function...
详细信息
Requirements specification should not be concerned only with the software specification, but should also be able to integrate with the organizational models describing the environment in which the system will function. Agent-oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase requirements which includes organizational contexts, stakeholder intentions and rationale. Business Process Modeling notations such as BPMN are used to effectively conceptualize and communicate important process characteristics to relevant stakeholders. On the other hand, Unified Modeling language (UML) is suitable for later phases of requirement capture which usually focus on completeness, consistency, and automated verification of functional requirements for the new system. In this paper, we illustrate the use of a methodology that facilitate and support the combined use of notation for modeling requirement engineering process in a synergistic fashion in a complex project for a large government department. The notations we used were i*, BPMN and UML Use Case.
An important step towards seamless heterogeneous systems is the integration between WLAN and 3G cellular systems. Their interoperability has been frequently discussed in literature, however, there is still room for re...
详细信息
Anaphora resolution (AR) is a process to identify the appropriate antecedent with its anaphor which occur before the anaphor. AR able to improve most of the NLP applications such as question answering, short answer ex...
详细信息
Parametric search is a useful tool in geometric optimization. Invented by Nimrod Megiddo in 1983, it has been widely used in computational geometry. Unfortunately, this technique has rarely been used in the combinator...
详细信息
Parametric search is a useful tool in geometric optimization. Invented by Nimrod Megiddo in 1983, it has been widely used in computational geometry. Unfortunately, this technique has rarely been used in the combinatorial optimization community in China. In this paper, we introduce parametric search via three new geometric optimization applications.
The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. The workpresented in this paper provide...
The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. The work
presented in this paper provides improved LTL specifications for patterns and scopes over those originally provided by Prospec. This improvement comes in the efficiency of the LTL formulas as measured in terms of the number of states in the Büchi automaton generated for the formula. Minimizing the size of the Büchi automata for an LTL specification provides a significant improvement for model checking softwaresystems using such tools as the highly acclaimed Spin model checker.
Effective and meaningful visualization techniques are quite important for multidimensional DNA microarray gene expression data analysis. Elucidating the cluster properties of these multidimensional data are often comp...
详细信息
This paper explores the role of domestic technologies for addressing social isolation of older people. Despite the increasing use of information and communication technologies, social isolation remains an issue amongs...
详细信息
ISBN:
(纸本)9781450305020
This paper explores the role of domestic technologies for addressing social isolation of older people. Despite the increasing use of information and communication technologies, social isolation remains an issue amongst older people. Assistive technologies address important health needs, but there is a lack of social technologies that adequately deal with social isolation. This paper contributes to knowledge about the everyday life of older people for the purpose of designing appropriate social technology. We present an overview of the findings of a three-stage study-an expert survey, a field study and a design workshop-and describe a set of needs to inform the design of technology for ameliorating the social isolation of older people. Copyright the author(s) and CHISIG.
暂无评论