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.
Near infrared spectroscopy (NIRS) is an effective technique for examining functional brain activity during cognitive tasks by enabling the measurement of the concentration changes of oxy-hemoglobin and deoxy-hemoglobin. In NIRS data analysis, accurate estimation of the hemodynamic response function (HRF) is still under investigation. Most existing methods assume that the shape of the HRF to be known...
Recently, several algorithms have been proposed to tackle different conservation questions under phylogenetic diversity. Such questions are variants of the more general problem of budgeted reserve selection under split diversity, an NP-hard problem. Here, we present a novel framework, Split Diversity Algorithm* (SDA*), to unify all these attempts. More specifically, SDA* transforms the budgeted reserve...
Ontology integration is an important task which needs to be performed when several information systems share or exchange knowledge. We consider that most of previous methods of ontology integration merely involve blind or exhaustive matching among all concepts belonging to different ontologies. Therefore, semantic mismatches, logical inconsistencies and conceptual conflicts between ontologies are...
The following topics are dealt with: biomedical information processing; image processing; knowledge engineering; machine learning; simulated annealing; natural language processing; software engineering; Web information processing; and Web information security.
A focused crawler traverses the web selecting out relevant pages according to a predefined topic. While browsing the internet it is difficult to identify relevant pages and predict which links lead to high quality pages. In this paper, we propose a crawler system using genetic algorithm to improve its crawling performance. Apart from estimating the best path to follow, our system also expands its...
It is a challenge to find out a suitable algorithm for broadcasting information securely and authentically to only target users. Many schemes based on public and symmetric key cryptography have been investigated. However, modeling an efficient scheme that provides both confidentiality and public cipher text authenticity is still an open problem. In this paper, we present an identity-based broadcast...
The nonstationary nature of the brain signals provides a rather unstable input resulting in uncertainty and complexity in the control. Intelligent processing algorithms adapted to the task are a prerequisite for reliable BCI applications. This work presents a novel intelligent processing strategy for the realization of an effective BCI which has the capability to improved classification accuracy and...
Within the context of privacy preserving data mining, several solutions for privacy-preserving classification rules learning such as association rules mining have been proposed. Each solution was provided for horizontally or vertically distributed scenario. The aim of this work is to study privacy-preserving classification rules learning in two-dimension distributed data, which is a generalisation...
Military missions are highly dynamic and uncertain. This characteristic comes from the nature of battlefields where such factors as enemies and terrains are not easy to be determined. Hence disruption of missions is likely to occur whenever happening a change. This requires generating plans that can adapt quickly to changes during execution of missions, while paying a less cost. In this paper, we...
Two popular hazards in supervised learning of neural networks are local minima and over fitting. Application of the momentum technique dealing with the local optima has proved efficient but it is vulnerable to over fitting. In contrast, deployment of the early stopping technique might overcome the over fitting phenomena but it sometimes terminates into the local minima. This paper proposes a hybrid...
Generating the test inputs, that have high code coverage while minimizing the number of test inputs, is a practical but difficult problem. The application of symbolic execution in combination with SMT solvers gives a promising way to solve it. Recently, there have been several tools that help generating the test inputs for C programs, but their abilities are still limited, depending on the particular...
ERP offers enormous benefits to organizations in efficiency, productivity and cost reduction. However, ERP implementations are complex, with many encountering difficulty and even failure. Change management has been identified as a critical success factor in the implementation of ERP. This study surveys twelve successful ERP implementation case studies to determine which components of change management...
Although many studies have targeted homogeneous and heterogeneous traffic flow, they are normally little or no attention to driver reaction passing intersection. Understanding complex movement within an intersection is the critical task which can explain the reason of traffic jam especially in big cities (for example, Ho Chi Minh City, Hanoi). This paper describes a microscopic model based on Cellular...
Parallel corpus is the valuable resource for some important applications of natural language processing such as statistical machine translation, dictionary construction, cross-language information retrieval. The Web is a huge resource of knowledge, which partly contains bilingual information in various kinds of web pages. It currently attracts many studies on building parallel corpora based on the...
Phase transition phenomena observed in most combinatorial search problems including constraint satisfaction problems (CSPs) are important for clarifying how structures make problem instances hard to solve. For the graph 3-colorability (3COL), which is one of the typical CSPs, the method to systematically generate hard problem instances by embedding original minimal unsolvable structures has been proposed,...
A scenario is a synthetic description of an event or series of actions and events. It plays an important role in software analysis and design, as well as verification and validation. In this paper, we propose an approach to verify the correctness of execution scenario in a multi-agent system. In this approach, scenarios are specified by Protocol Diagrams in AUML (Agent Unified Modeling Language),...
Educational timetabling is known to be hard combinatorial optimization problem. In this paper, a Simulated Annealing - based algorithm with an intensification strategy is applied to a real world high school timetabling problem. The obtained results are better than the Tabu Search algorithm's results published before and the handmade timetables created by experts.
Many concurrency models have been developed for high-level programming languages such as Java. A trend here is towards more flexible concurrency control protocols, going beyond the original Java multi-threading treatment based on lexically-scoped concurrency control mechanism. Two proposals supporting flexible, non-lexical concurrency control are the lock-handling via the Lock-classes in Java5 and...
The introduction of combined fragments to UML 2.x sequence diagrams makes it much harder for programmers to check manually the correctness of an implementation, especially when the fragments are nested. We develop an extension for Symbolic Java Path Finder (SPF) to verify if a Java program correctly implements its sequence diagram specification. Our main contribution is an algorithm to follow SPF...
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.