Lecture Notes in Computer Science

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Extracting Top-k High Utility Patterns from Multi-level Transaction Databases
Lecture Notes in Computer Science - - Trang 296-306 - 2023
Le, Tuan M., Nguyen, Trinh D. D., Nguyen, Loan T. T., Kozierkiewicz, Adrianna, Tung, N. T.
Several approaches have been introduced to solve the problem of high utility pattern mining (HUPM). However, the proposed algorithms require a minimum utility threshold before execution. This task is impractical for end users as they do not know utility distributions...
On Formalizing the UML Object Constraint Language OCL
Lecture Notes in Computer Science - - Trang 449-464 - 1998
Richters, Mark, Gogolla, Martin
We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) – an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML...
Formulating Model Verification Tasks Prover-Independently as UML Diagrams
Lecture Notes in Computer Science - - Trang 232-247 - 2017
Gogolla, Martin, Hilken, Frank, Niemann, Philipp, Wille, Robert
The success of Model-Driven Engineering (MDE) relies on the quality of the employed models. Thus, quality assurance through validation and verification has a tradition within MDE. But model verification is typically done in the context of specialized approaches and...
Parameterizing object specifications
Lecture Notes in Computer Science - - 1996
Gogolla, Martin
We present a proposal for parameterized object specifications allowing especially objects sorts in the parameter. These object specifications permit to describe the part of the world to be modeled as an object community of concurrently existing and communicating...
Từ Biến Đổi Đồ Thị đến OCL Sử Dụng USE Dịch bởi AI
Lecture Notes in Computer Science - - Trang 585-586 - 2008
Gogolla, Martin, Büttner, Fabian, Dang, Duc-Hanh
Với công cụ USE, các sơ đồ lớp UML kết hợp với các ràng buộc OCL bổ sung có thể được xác thực và các thuộc tính có thể được kiểm tra một cách chính thức. Các ràng buộc có thể là bất biến lớp và điều kiện tiền và hậu thao tác. USE xây dựng các trạng thái hệ thống bằng các sơ đồ đối tượng và diễn đạt...
Interestingness Measures for Classification Based on Association Rules
Lecture Notes in Computer Science - - Trang 383-392 - 2012
Nguyen, Loan T. T., Vo, Bay, Hong, Tzung-Pei, Thanh, Hoang Chi
This paper proposes a new algorithm for classification based on association rule with interestingness measures. The proposed algorithm uses a tree structure for maintenance of related information in each node, thus making the process of generating rules fast....
Linked Open Data -- Creating Knowledge Out of Interlinked Data
Lecture Notes in Computer Science - - 2014
Sören Auer, Volha Bryl, Sebastian Tramp
SoRTESum: A Social Context Framework for Single-Document Summarization
Lecture Notes in Computer Science - - Trang 3-14 - 2016
Nguyen, Minh-Tien, Nguyen, Minh-Le
The combination of web document contents, sentences and users’ comments from social networks provides a viewpoint of a web document towards a special event. This paper proposes a framework named SoRTESum to take advantage of information from Twitter viz....
Conditionals in Nonmonotonic Reasoning and Belief Revision
Lecture Notes in Computer Science - - 2001
Gabriele Kern-Isberner
Initiating a Benchmark for UML and OCL Analysis Tools
Lecture Notes in Computer Science - - Trang 115-132 - 2013
Gogolla, Martin, Büttner, Fabian, Cabot, Jordi
The Object Constraint Language (OCL) is becoming more and more popular for model-based engineering, in particular for the development of models and model transformations. OCL is supported by a variety of analysis tools having different scopes, aims and technological...
Tổng số: 95   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10