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 present the coupling of two constraint-based environments into an on-line support system for facade-layout configuration in the context of building renovation. The configuration consists on the definition and allocation of a set of rectangular parameterization panels over a facade surface. The coupling allows solving two configuration tasks: To configure a set of questions relating the renovation...
A significant component of data analysis is related to study relations between pieces of data -- something that is the very fabric of Resource Description Framework (RDF). In such a context, there is a need for a formal methodology of building structures reflecting logical aspects of RDF data, and reasoning about them. Category theory, a branch of modern mathematics, has been seem by many as an abstract...
Recent changes in the power systems gives place to the active consumers participation. The participation in demand response programs requires consumers to undertake strategic management of their consumption. Small and medium players should have the capability of performing day-ahead and hour-ahead load management which requires forecasting techniques applied to the consumption and generation. A good...
Validation is an important topic on the life-cycle of software development, especially when we are working with crowd simulation. This is because when applied in safety fields, such simulation software must reproduce behaviors close to real life in order to obtain useful data. The International Maritime Organization of London (IMO) developed guidelines for validate evacuation systems. In this paper,...
We propose an Augmented Visual Intelligence (AVI) framework to assist human in vision- and memory-related tasks. The AVI framework exploits wearable cameras and ambient computing facilities to empower a user's vision and memory functions by answering four types of queries central to visual activities. In particular, the Extended Visual Memory (EVM) model plays a central role in AVI. Learning of EVM...
The Islamic websites play an important role in disseminating Islamic knowledge and information about Islamic ruling. Their number and the content they provide is continuously increasing which require in-depth investigations in content evaluation automation. In this paper, we are proposing the use of conceptual reasoning for detecting inconsistencies in case of Fatwas evaluation. Inconsistencies are...
Understanding the operation of a building is key for improving it and reducing energy waste. However, today this is a mostly manual task for which domain experts use visual tools to analyze the large amounts of building data. We show how to automate this task by means of pattern extraction techniques. These allow human operators to simply consider well defined data patterns rather than vast amounts...
Constraint Programming (CP) allows to solve constraint satisfaction and optimization problems by building and then exploring a search tree of potential solutions. Potential solutions are generated by firstly selecting a variable and then a value from the given problem, phase known as enumeration. In this context, Autonomous Search (AS) that is a particular case of adaptive systems, enables the problem...
The boom of portable electronics and high-speed wireless networks has brought changes throughout society, including the style of teaching in schools. Modern technologies can, substitute the teacher in the process of teaching to a large extent. Thanks to possibilities of personalization and contextual of current device software equipment it is possible to take into account the individual needs of each...
Capability approach is hard to operationalize and capabilities are sometimes difficult to reduce into the individual level. We describe our approach to solve these problems paired with an adequate ICT infrastructure and believe that the impact of concrete eGovernment services will become more visible and available. Citizens can inspect it, professionals can target their re-engineering on failure cases,...
We are exploring whether and how “Digital-Storytelling” can be used to a) attract and engage student apprentices otherwise estranged from STEM-linked career or education pathways b) help student apprentices address the complexities of ill-formed or “wicked” design problems typical of sustainable engineering. Building on preliminary evidence from a pilot 2014 study we hypothesize that apprentices who...
Global energy demand grows rapidly. The building sector accounts for about 20% of world's energy consumption. Intelligent and systematic energy management technologies have been increasingly exploited to reduce the energy use in the building sector. Previous studies used their own decision model including knowledge-bases and rules. However, they are lack of a structural framework for organizing information...
Communication traces help developers of high-performance computing (HPC) applications understand and improve their codes. When run on large-scale HPC facilities, the scalability of tracing tools becomes a challenge. To address this problem, traces can be clustered into groups of processes that exhibit similar behavior. Instead of collecting traces information of each individual node, it then suffices...
Data are essential for the experiments of relevant scientific publication recommendation methods but it is difficult to build ground truth data. A naturally promising solution is using publications that are referenced by researchers to build their ground truth data. Unfortunately, this approach has not been explored in the literature, so its applicability is still a gap in our knowledge. In this research,...
Latent-factor-based Quality-of-Service predictors can achieve high prediction accuracy and good scalability. However, most of them are based on first-order models that cannot well deal with their target problem that is inherently non-convex. Since second-order approaches have proven to be effective to such problems, this work proposes to implement a second-order predictor with an aim to achieve the...
Multi-Sentence Compression is a task whose goal is to produce a short single sentence summary from a group of similar sentences. This paper presents a new re-ranking method based on frequent words extraction along with our modifications on a word graph-based MSC approach to reduce incorrect output. Compression candidates are re-ranked according to the number of frequent words they contain to select...
This paper proposes a strategy, described via a process, which can help collaborative research projects impact standards and engage with regulatory bodies. The process is being successfully used by a running EU-funded project that is taken as a concrete example of how to link in a proper way innovation and pre-development activities to standards. The proposed methodology has a general validity and...
This paper presents a concept of an extended iBeacon system for indoornavigation and guidance. iBeacon is a proximal wireless notification service proposed by Apple, Inc. This service uses beacon modules emitting radio waves based on Bluetooth Low Energy technology and provides automatic triggering of a single notification from a beacon module to multiple smartphones at proximity. In usual iBeacon...
The authors take a closer look at how the visualization community has discussed visual storytelling and present a visual data storytelling process, incorporating steps involved in finding insights (explore data), turning these insights into a narrative (make a story), and communicating this narrative to an audience (tell a story). They also discuss opportunities for future research in visualization...
This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. By guiding the construction process through so-called classifying terms, the built test cases in form of object models are classified into equivalence classes. A classifying term...
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.