this paper presents an implementation of a general framework for consistency-based belief change using Answer Set programming (ASP). We describe Equibel, a software system for working with belief change operations on ...
详细信息
the paper investigates the ordinary language age limits of massive language models, with applications to the development of two types of learning tools commonly found in programming courses. We construct programming w...
the paper investigates the ordinary language age limits of massive language models, with applications to the development of two types of learning tools commonly found in programming courses. We construct programming workouts and code explanations, reviewing these abstractly and statistically, using the Open AI Codex as the massive language model. Our findings indicate that the majority of the content so given is both unique and sensible, and that it is occasionally ready to use without any guarantees. While rehearsing, we discovered that it is astonishingly simple to affect boththe programming ideas and the practical subjects they include simply by offering expressions of commitment to the model. Findings indicate massively generative computer intelligence models have fundamental value.
Many organizations are moving toward greater use of commercial off-the-shelf (COTS) components in the development of application systems. the development of component based systems introduces fundamental changes in th...
详细信息
Many organizations are moving toward greater use of commercial off-the-shelf (COTS) components in the development of application systems. the development of component based systems introduces fundamental changes in the way systems are acquired, integrated, deployed and evolved. We present a reference model for the assembly of component based systems that can be used as the basis for defining a systematic approach to the development of such systems. this reference model is described, and used to explore a number of fundamental development issues.
Manufacturing system now reached a point where it can accommodate various kinds of production models. However, its management and control sub-system, i.e. the manufacturing execution system (MES), is still constructed...
详细信息
Domain-specific languages (DSLs) have been proposed as a solution to ease the development of programs within a program family. Sometimes, however, experience withthe use of a DSL reveals the presence of subfamilies w...
详细信息
the article presents a practical solution in the field of integration of neural network models in spatial data analysis systems. the article shows that the deep neural network model can to be differentiated by topolog...
详细信息
Honey is an agricultural product that is very easily polluted. One type of honey-producing bee is the stingless bee, where this type of bee has its own uniqueness and quite high selling value. the weakness of honey fr...
Honey is an agricultural product that is very easily polluted. One type of honey-producing bee is the stingless bee, where this type of bee has its own uniqueness and quite high selling value. the weakness of honey from this type of bee is that it has a high water content, so it is quite susceptible to damage in terms of quality. therefore, in order to survive in the market, there are treatments such as thickening and adding mixed products to the honey. Some sample data were obtained from the location of this type of honey cultivator, then fluorescence-based spectrum data was collected with certain test scenarios. Discriman model analysis with principal component analysis is a tool to see the distribution of spectral data in this case. Principal component (PC) 1 with a value of 63% and PC 2 only 36% is the basis for consideration for proposing a generative model in processing spectral data that has a higher percentage of information values included in the dataset.
this book constitutes the refereed proceedings of the 12thinternationalconference on Software engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.;the 23 full papers presented toge...
详细信息
ISBN:
(数字)9783319104317
ISBN:
(纸本)9783319104300
this book constitutes the refereed proceedings of the 12thinternationalconference on Software engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.;the 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. they are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
the idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. the main problem with robotics software usually is that it runs on a ...
详细信息
ISBN:
(纸本)9783642173189
the idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. the main problem with robotics software usually is that it runs on a particular platform and transferring source code to another platform is crucial. In this paper, we present our software framework Fawkes which follows the component-based software design paradigm by featuring a clear component concept with well-defined communication interfaces. We deployed Fawkes on several different robot platforms ranging from service robots to biped soccer robots. Following the component concept with clearly defined communication interfaces shows great benefit when porting robot software from one robot to the other. Fawkes comes with a number of useful plugins for tasks like timing, logging, data visualization, software configuration, and even high-level decision making. these make it particularly easy to create and to debug productive code, shortening the typical development cycle for robot software.
this paper proposes a robust-based mean-variance portfolio selection problem with random fuzzy returns using a fuzzy reasoning method, particularly a standard TS fuzzy reasoning method. Arbitrage Pricing theory (APT) ...
详细信息
ISBN:
(纸本)9781467327428
this paper proposes a robust-based mean-variance portfolio selection problem with random fuzzy returns using a fuzzy reasoning method, particularly a standard TS fuzzy reasoning method. Arbitrage Pricing theory (APT) is introduced as a future return of each security, and each factor in APT is assumed to be a random fuzzy variable whose mean is derived from a fuzzy reasoning method. Furthermore, under interval inputs of fuzzy reasoning method, a robust programming approach is introduced in order to minimize the worst case of the total variance. the proposed model is equivalently transformed into the deterministic nonlinear programming problem, and so the solution steps to obtain the exact optimal portfolio are developed.
暂无评论