Search

Your search keyword '"Thang, Nguyen Truong"' showing total 26 results
Start Over Author "Thang, Nguyen Truong"
26 results on '"Thang, Nguyen Truong"'

4. An Algorithm for Mining High Utility Sequential Patterns with Time Interval

Author

Duong Tran Huy, Janos Demetrovics, Thi Vu Duc, Thang Nguyen Truong, and Anh Tran The

Subjects
datamining, sequential pattern, time interval, high utility, Cybernetics, Q300-390
Abstract

Mining High Utility Sequential Patterns (HUSP) is an emerging topic in data mining which attracts many researchers. The HUSP mining algorithms can extract sequential patterns having high utility (importance) in a quantitative sequence database. In real world applications, the time intervals between elements are also very important. However, recent HUSP mining algorithms cannot extract sequential patterns with time intervals between elements. Thus, in this paper, we propose an algorithm for mining high utility sequential patterns with the time interval problem. We consider not only sequential patterns’ utilities, but also their time intervals. The sequence weight utility value is used to ensure the important downward closure property. Besides that, we use four time constraints for dealing with time interval in the sequence to extract more meaningful patterns. Experimental results show that our proposed method is efficient and effective in mining high utility sequential pattern with time intervals.

Published
2019
Full Text
View/download PDF

6. Constructing Open Systems via Consistent Components

Author

Thang, Nguyen Truong, Katayama, Takuya, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Van Hung, Dang, editor, and Wirsing, Martin, editor

Published
2005
Full Text
View/download PDF

18. Effects of Reinforcement Discontinuity on the Collapse Behavior of Reinforced Concrete Beam-Slab Structures Subjected to Column Removal

Author

Hieu Nguyen Trung, Dat Pham Xuan, and Thang Nguyen Truong

Subjects
Discontinuity (geotechnical engineering), Mechanics of Materials, business.industry, Mechanical Engineering, Slab, General Materials Science, Building and Construction, Structural engineering, business, Reinforced concrete, Reinforcement, Geology, Civil and Structural Engineering
Abstract

Existing reinforced concrete buildings constructed in low-seismic zones are most vulnerable to disproportionate collapse due to low reserve strength and presence of reinforcement discontinu...

Published
2019
Full Text
View/download PDF

23. Constructing Open Systems via Consistent Components.

Author

Hung, Dang, Wirsing, Martin, Thang, Nguyen Truong, and Katayama, Takuya

Abstract

Open systems capable of handling unanticipated future changes are very desirable. A common approach towards open systems is based on components. There are some essential issues of the component-based software paradigm. First, the most challenging analysis issue is about component consistency - namely a component does not violate some property in another when composed. The paper presents a formal approach to the issue by including consistency semantic to component specification. Based on this semantic information, components can be efficiently cross-checked for the consistency among components. The second issue is on how components are realized from the formal specification. The layered architecture is recommended for component-based system design in which component specifications are separated into layers. Subsequently, each layer can be then respectively implemented by a corresponding module via aspect-oriented programming. The target system simply involves composing those modules together in a well-defined order. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

26. Specification and verification of inter-component constraints in CTL

Author

Thang, Nguyen Truong and Katayama, Takuya

Abstract

The most challenging issue of component-based software is about component composition. Current component specification, in addition to the syntactic level, is very limited in dealing with semantic constraints. Even so, only static aspects of components are specified. This paper gives a formal approach to make component specification more comprehensive by including component semantic. Fundamentally, the component semantic is expressed via the powerful temporal logic CTL. There are two semantic aspects in the paper, component dynamic behavior and consistency - namely a component does not violate some property in another when composed. Based on the proposed semantic, components can be efficiently cross-checked for their consistency by an incremental verification method - OIMC, even for many future component extensions.

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results