Software libraries organize useful functionalities in order to promote modularity and code reuse. A typical library is used by client programs through an application programming interface (API) that hides its internal...
详细信息
ISBN:
(纸本)9781605580791
Software libraries organize useful functionalities in order to promote modularity and code reuse. A typical library is used by client programs through an application programming interface (API) that hides its internals from the client. Typically, the rules governing the correct usage of the API are documented informally. In many cases, libraries may have complex API usage rules and unclear documentation. As a result, the behaviour of the library under some corner cases may not be well understood by the programmer. Formal specifications provide a precise understanding of the API behaviour. We propose a methodology for learning interface specifications using Inductive logicprogramming (ILP). Our technique runs several unit. tests on the library in order to generate relations describing the operation of the library. the data collected from these tests are used by an inductive learner to obtain rich Datalog/Prolog specifications. Such specifications capture essential properties of interest to the user. they may be used for applications such as reverse engineering the library internals or constructing checks on the application code to enforce proper API usage along with other properties of interest.
Tutoring systems for programming helps students to understand features of target programming language, and develops their general problem solving skill. Our system guides novices in learning syntax and semantics of pr...
详细信息
ISBN:
(纸本)9789537138127
Tutoring systems for programming helps students to understand features of target programming language, and develops their general problem solving skill. Our system guides novices in learning syntax and semantics of programming language, problem decomposition, program design and testing. the notional machine defined by programming language and its verbal description of instruction actions helps students to understand semantics of instructions. Advancement through the course material controlled by computer teacher supports connection of new concepts to the present student's knowledge.
this paper studies the operation of a multi-input boost converter powered by photovoltaic modules. Performance of ripple correlation control (RCC) and fuzzy logic control in tracking maximum power point are investigat...
详细信息
ISBN:
(纸本)9781424420551
this paper studies the operation of a multi-input boost converter powered by photovoltaic modules. Performance of ripple correlation control (RCC) and fuzzy logic control in tracking maximum power point are investigated through simulation. Both single panel operation and dual panel operations are analyzed to prove that they are controlled independently. A simple analog circuit implantation is tested with existing solar panels to verify the effectiveness of control.
Teaching (and therefore learning) eXtreme programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-hand experience in order to see and real...
详细信息
ISBN:
(纸本)9781605580791
Teaching (and therefore learning) eXtreme programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-hand experience in order to see and really learn the methods. For example, iterations are either shorter or fewer than appropriate. In this paper we present the properties to tune when designing an eXtreme programming course. these are the properties we gathered by conducting three XP labs as part of our software engineering teaching. Within this paper we describe our set-up as well as the important properties. Lecturers and teachers can use this property system and combine it withtheir own constraints in order to derive a better XP lab for their curriculum.
this paper investigates the use of evolutionary algorithms for solving resource constrained scheduling problem which belongs to the class of NP complete problems. the problem involves finding optimal sequence of activ...
详细信息
ISBN:
(纸本)9789537138127
this paper investigates the use of evolutionary algorithms for solving resource constrained scheduling problem which belongs to the class of NP complete problems. the problem involves finding optimal sequence of activities with given resource constraints. Evolutionary algorithms used in this paper are genetic algorithms and genetic programming, for which adequate scheduling mechanisms are defined. Presented solutions are compared with existing heuristics or optimal results.
Advising the learner regarding the resources he needs to access in order to obtain best learning proficiency is one of the main issues in Learning Management Systems. this paper presents an original method of recomend...
详细信息
ISBN:
(纸本)9789537138127
Advising the learner regarding the resources he needs to access in order to obtain best learning proficiency is one of the main issues in Learning Management Systems. this paper presents an original method of recomending questions that need to be taken into consideration for answering by learner. the Business logicthat decides what questions are displayed to student is based on Machine Learning algorithms, more exactly on Naive Bayes classifier.
Dynamic programming has previously been used when measuring Lumen Diameter (LD) and Intima-Media thickness (IMT) in single frame ultrasound carotid artery images [1]. An extension to multiframe detection of that proce...
详细信息
ISBN:
(纸本)9781424418145
Dynamic programming has previously been used when measuring Lumen Diameter (LD) and Intima-Media thickness (IMT) in single frame ultrasound carotid artery images [1]. An extension to multiframe detection of that procedure is proposed in this paper. Our new method transforms a three dimensional problem into multiple two dimensional problems that can again be solved by dynamic programming. First, several "candidate boundaries" are detected in each image. then, one boundary from each image in the sequence is selected in such a way that the sequence of boundaries is optimal among the considered possibilities. A model of the movements of the boundaries is used in the second step. Our proposed method shows promising performance on both synthetic and real ultrasound data.
A non consideration just a couple of years ago, energy efficiency is quickly becoming the most important issue in every industry today. In the Datacom world, vendors are tackling this question from a holistic perspect...
详细信息
ISBN:
(纸本)9781424420551
A non consideration just a couple of years ago, energy efficiency is quickly becoming the most important issue in every industry today. In the Datacom world, vendors are tackling this question from a holistic perspective, clearly showing that the consumption in data centers can be reduced by more than halt In the Telecom world however, most vendors have limited the discussion to the energy efficiency of their individual products. As such, the total impact of deploying higher efficiency rectifiers or cooling units remains quite small on a total site level. this clearly can blindside service provider employees into over looking the real opportunities and into investing poorly. For this reason, Emerson Network Power has launched Energy logic (TM), a holistic approach which looks at Data Centers and Telecom sites and provides a complete roadmap of recommendations and quantifies their savings. this provides complete awareness of the energy savings opportunities and helps take steps in the right sequence and full understanding of the real savings potential.
the proceedings contain 104 papers. the topics discussed include: answering conceptual queries with ferret;specification patterns for probabilistic quality properties;existential live sequence charts revisited;symboli...
ISBN:
(纸本)9781605580791
the proceedings contain 104 papers. the topics discussed include: answering conceptual queries with ferret;specification patterns for probabilistic quality properties;existential live sequence charts revisited;symbolic mining of temporal specifications;testing pervasive software in the presence of context inconsistency resolution services;towards reusable components with aspects: an empirical study on modularity and obliviousness;early prediction of software component reliability;mining library specifications using inductive logicprogramming;temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems;precise memory leak detection for java software using container profiling;static detection of cross-site scripting vulnerabilities;and a comparative analysis of the efficiency of change metrics and static code attributes for defect prediction.
this paper presents the idea how to use fuzzy active rules within biometric systems. We have already shown how the concept of complex events presented in the active database theory could be used in order to build a bi...
详细信息
ISBN:
(纸本)9789537138127
this paper presents the idea how to use fuzzy active rules within biometric systems. We have already shown how the concept of complex events presented in the active database theory could be used in order to build a biometric system. We especially explored the paradigm of active rules and complex events and experimental results were encouraging. Fuzzy logic is very good when dealing with imprecision and uncertainty and hence it is suitable to be used in biometric systems. We will discuss how to apply fuzzy active rules in order to deal with imprecise decision making in multimodal biometric systems.
暂无评论