The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We develop T2API, a context-sensitive, graph-based statisticaltranslation approach that takes as input an English description of aprogramming task and synthesizes the corresponding API code templatefor the task. We train T2API to statistically learn the alignmentsbetween English and APIs and determine the relevant API elements. Thetraining is done on StackOverflow, which is a bilingual corpus onwhich...
This paper focuses on the identification of overlapping communities, allowing nodes to simultaneously belong to several communities, in a decentralised way. To that aim it proposes LOCNeSs, an algorithm specially designed to run in a decentralised environment and to limit propagation, two essential characteristics to be applied in mobile networks. It is based on the exploitation of the preferential...
Adapting systems to the changes of their ubiquitous environments is a complex task. The autonomic computing was proposed as a solution to tackle this complexity. It brings a system with self-management capabilities to dynamically adapt itself to context. We are interested in the architectural adaptation approaches of autonomic applications which follow the MAPE-K loop process. During the execution...
The study of compound-target binding profiles has been a central theme in cheminformatics. For data repositories that only provide positive binding profiles, a popular assumption is all unreported profiles are negative. In this paper, we caution audience not to take such assumption for granted. Under a problem setting where binding profiles are used as features to train predictive models, we present...
Theory exploration has been investigated as the lemma generation methods which play important role in automation of theorem provers. In order to enlarge the scope of provable theorems in the exploration, in this paper we propose an approach of applying the rewriting induction technique in exploration of inductive theorems. Especially, we propose some heuristics for proof search in the rewriting induction...
Considering metrics based on finite directed graph, introduced by Etzion and Firer, we characterize the graphs such that every linear code admits a G-canonical decomposition. This decomposition will play an important role in this work, since it will be the main tool to give a sufficient condition for a finite directed graph to satisfy both the MacWilliams Identity and the MacWilliams Extension Property.
In order to perform well, an engineer has not only to solve a task but also cope with the environment. This is very important in military operations, where underperforming might have fatal consequences. As a military academy, we have developed ten coping strategies that we use to increase students' ability to perform in military situations. These strategies have been introduced in the education, but...
Estimation of data veracity is recognized as one of the grand challenges of big data. Typically, the goal of truth discovery is to determine the veracity of multi-source, conflicting data and return, as outputs, a veracity label and a confidence score for each data value, along with the trustworthiness score of each source claiming it. Although a plethora of methods has been proposed, it is unlikely...
Enterprises face the challenge of rapidly adapting to dynamic business environments. The traditional approach to process management is only partially appropriate to this new context, and calls for the advent of new, evolutionary business processes. This new approach attempts to address specific issues related to flexibility and adaptation such as design of easily adaptable processes, dynamic handling...
Large-scale self-organised systems, such as distributed community energy systems, have called for coordination approaches that are able to deal with issues such as heterogeneity, inter-dependence and dynamic variability. Holonic institutions have been proposed as an approach to converging the structuration required for multi-scale, multi-criteria optimisation in nested enterprises with the formal...
The cost of a change is high, but changes are an inevitable part of software development lifecycle, which comes to be recognized under a more general term: software evolution. To mitigate this problem, an approach to aspect-oriented change realization has been proposed earlier based on the idea of representing change by aspect. In many cases, software development relies on graphical modeling, mainly...
In Combinatorial Interaction Testing, models specify a set of parameters with associated domains, and some constraints over the parameters. Test generation tools produce, starting from these models, test suites for achieving some given coverage criteria. The validation of both the models and the produced test suites is a worthwhile activity. Validating the models permits to early discover possible...
'Hubness' is a recently discovered general problem of machine learning in high dimensional data spaces. Hub objects have a small distance to an exceptionally large number of data points, and anti-hubs are far from all other data points. It is related to the concentration of distances which impairs the contrast of distances in high dimensional spaces. Computation of secondary distances inspired by...
Relevance of automatically generated test cases depends on an appropriate definition of a test context, or precondition. This paper presents a novel method for handling a precondition in dynamic symbolic execution (DSE) testing tools. This method allows Path Crawler, a DSE tool for C~programs, to accept a precondition defined as a C function. It provides a simple way to express a precondition even...
Twitter is a major forum for rapid dissemination of user-provided content in real time. As such, a large proportion of the information it contains is not particularly relevant to many users and in fact is perceived as unwanted 'noise' by many. There has been increased research interest in predicting whether tweets are relevant, newsworthy or credible, using a variety of models and methods. In this...
The volume of email that help-desks receive every day is very high and often queries are repeated. Any kind of automation in processing of emails requires good understanding of the emails. In the current work we propose a schema for tagging author composed sentences in help-desk emails by the intent of the author. We have created a corpus taking email data from two help-desks and annotated them at...
This paper provides a categorical view on L-fuzzy concept lattices inspired by paper. Hideo Mori proved that a category of Chu correspondences between classical formal contexts called ChuCors is equal to a category of join preserving mappings between complete lattices called Slat. Mori proved the equality by introducing a Galois functor from ChuCors to Slat, that is an equivalence functor. We show...
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically process their invoices, most of them still rely on the paper-based invoice process. Within this paper we built upon existing work to develop a methodology for defining a reference model for the electronic invoice based on security...
It has been previously argued that science and engineering undergraduate students can benefit greatly from learning the history of their discipline. In order to successfully enhance learning by introducing history into undergraduate curriculum, it would be desirable to assess what the current educational uses of history are and to understand the needs and perceptions of teachers. Nevertheless, to...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.