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.
Extracting stop purpose information from raw GPS data is a crucial task in most location-aware applications. With the continuous growth of GPS data collected from mobile devices, this task is becoming more and more interesting; a lot of recent research has focused on pedestrians (mobile phones) data, while the commercial vehicles sector is almost unexplored. In this paper we target the problem of...
In article is considered the approach to use of original elements of conceptual graphs notations at the complex description of declarative and procedural components of the control expert systems (ES) within the general problems of design automation of the chosen ES class.
Human operators play an important role especially in high added value manufacturing. The use of knowledge representation for decision making at runtime becomes more important. Modern automatic control systems should be capable to seamlessly include and assist operators. This paper describes how to represent information on operator's skills and include it into service-oriented orchestration approach...
The proliferation of Internet of Things (IoT) devices and associated data streams, are en-abling a new class of dynamic data driven applications. However, processing this data in an robust, effective and timely manner can be nontrivial and presents a new set of challenges. This paper introduces Pulsar, a data-driven framework that leverages edge resources to support location and content aware processing...
This paper presents one implementation of the voice control module within the smart home automation cloud. The implemented voice control module can process the textual result of arbitrary speech-to-text conversion engine, to detect patterns corresponding to the device names and desired actions. Based on the detected command semantics, control messages for smart home automation cloud are generated,...
Three forms of contextual search have been proposed in the literature. The first one is to scan the full text of a query to figure out user needs and based on that scan, HTML pages for content will return an index of the relevant content. In this case, the user has no control over the context of the query. The second form of contextual search is used by meta-search engines and requires the user to...
Big data technologies are becoming widely used, not only for recording but also for analyzing human generated data. Indeed, the recent development in systems and technologies provided many areas with data processing technologies to extract meaningful information from massive amounts of data. A good example of areas where the generated data is voluminous is eLearning, e.g. Massive Open Online Courses...
This paper presents the work done in the context of the Speech2Process project for Speech Dialogue System applied in call-centers, specifically in the banking domain. In our proposed solution, the client communicates with the system by natural language sentences, which will be automatically recognized and semantically analysed. The paper describes innovative features of the selected approach, which...
In this paper, we present SaR-Web, a multimodal web search tool that provides automatic support to searching as learning processes. Inspired by the work of Richard Rogers and the Digital Methods Initiative, SaR-Web compares the results of queries across search engine language domains, and visualizes search results with a semantic added value, thus facilitating cross-linguistic and cross-cultural comparisons...
In this paper we propose an model driven approach for the specification and the execution of flexible workflows composed from cloud services. Flexibility of workflow means fast reactivity to internal and external changes. The basic challenge for workflow now is the ability to respond dynamic changes. To fulfill, we define functional and behavioral views of the flexible workflow. The first view is...
Although organizations have widely adopted Business Process Management Systems (BPMS) as an automation and integration middleware, these systems remain limited in their orchestration capabilities. BPMS can only react to event information that enterprise applications emit and only integrate against the service interfaces these applications provide. At the same time, organizations increasingly leverage...
Intelligent personalization systems are becoming increasingly reliant on contextually-relevant devices and services, such as those available within modern IoT deployments. An IoT context may emerge---or become pervasive---when the intelligent system generates knowledge from dialogue-based interactions with the end-user; the context is strengthened even further by incorporating state representations...
Modularity and composability are essential properties to facilitate and scale the design of cyber-physical systems from the specification of hybrid, discrete and continuous, components. Modularity is essential to break down a system model into comprehensible and manageable component specifications. Composability is essential to design a system from component models while preserving their verified...
As society is developing and people's living standards are increasing, tourism becomes one of the popular choices to relax. Meanwhile, the general travel information from traditional travel related websites are hard to satisfy the customers' requirements. The main challenge for traditional websites is how to provide creative ideas to customers. In order to solve this problem, this paper presents algorithms...
The improvement in quality of services offered by educational institutions is one of the main challenges of the modern education informatics. The personalization of educational process requires adaptive learning schemes since the student status and conditions inside an institution constantly change. In this paper, we present the EDUC8 (EDUCATE) system, which aims at providing a new approach concerning...
To improve the accuracy of analysis results is one of the hard challenges for static analysis. Especially, static analyzers generally analyze all paths of a program, including infeasible paths, which undoubtedly decreases the analysis accuracy. To mitigate the issue, we design and implement a static analyzer, called ABAZER-SE, which is based on the meta-compilation and the GCC abstract syntax tree...
Middleware was introduced to facilitate the development of sophisticated applications based on a uniform methodology and industry standards. However, early research and practice suggested that no one-size-fits-all approach was suitable for all application domains and scenarios. This gave rise to industry initiatives to standardize domain-specific middleware services and profiles, as well as research...
Traditional pub/sub systems cannot adequately handle workloads of applications with dynamic, short-lived subscriptions such as location-based social networks, predictive stock trading, and online games. Subscribers must continuously interact with the pub/sub system to remove and insert subscriptions, thereby inefficiently consuming network and computing resources, and sacrificing consistency. In the...
Preliminary experiment design and research goals are presented to measure the security implications of using just-in-time (JIT) compilation in conjunction with hardware-enforced restrictions on the computational complexity of general purpose applications. LLVM passes are used during compilation to mark sub-components of an application if they are provably halting (Walter recursive). A modified JIT...
This article explores one of the approaches to the use of the conceptual graphs (CGs) theory in the tasks dealing with automated development of the embedded expert systems (ESs) being realized in an open program code in universal high level algorithmic languages. Within this approach CGs are used as an universal expression means for representation of overall, self-sufficient, fully portable expert...
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.