IST
发表于 2025-3-26 23:19:57
http://reply.papertrans.cn/47/4660/465958/465958_31.png
绕着哥哥问
发表于 2025-3-27 01:19:53
Communications in Computer and Information Sciencehttp://image.papertrans.cn/i/image/465958.jpg
dissolution
发表于 2025-3-27 07:02:32
Comparison of Genetic Programming, Grammatical Evolution and Gene Expression Programming Techniquestion and Gene Expression Programming. These algorithms were applied to different type test problems with the same set of parameters. The results of the experiments and some insights on similar experiments of the other authors are provided.
谷物
发表于 2025-3-27 11:26:47
http://reply.papertrans.cn/47/4660/465958/465958_34.png
不舒服
发表于 2025-3-27 14:09:13
Information System for Monitoring and Forecast of Building Heat Consumption the heating supply system for monitoring in real-time. The HeatCAM system (web-based information system for monitoring and prediction of building heat consumption) was implemented to provide analysis of current state of heating in buildings and short-term prediction of the required amount of heat under certain climatic conditions.
诱拐
发表于 2025-3-27 19:40:26
http://reply.papertrans.cn/47/4660/465958/465958_36.png
内行
发表于 2025-3-28 01:51:26
Information Systems Requirements Specification and Usage in Test Case Generationfor this purpose. This paper presents the methodology and practical evaluation of the description of requirements and their use in generating test cases. This decision is relevant for the information system analytics and testers, test managers and others involved in test process.
verdict
发表于 2025-3-28 05:06:11
Communications and Security Aspects of Smart Grid Networks Designf Smart Grid network communication infrastructure, which enables complex perspective of the given issue and its effective use. It presents different power grid management requirements in various types of regions in Czech Republic.
nettle
发表于 2025-3-28 07:59:12
Paper presents a technique for fuzzy rule ext the results to other sources. A comparative analysis of a productivity of traffic light controllers developed using an expert rule base and a rule base formed using our technique is given. Iris classification problem is considered too. Comparison results prove better accuracy of the technique suggested.
bronchodilator
发表于 2025-3-28 13:31:50
Formalization of Mobile UML Statechart Diagrams Using the ,-calculus: An Approach for Modeling and Amal semantics for such diagrams. The generated .-calculus specifications are then used to analyze and check systems using .-calculus analytical tools (e.g. MWB tool). We illustrate our approach by an example.