Floor plan construction is the basis for fingerprint-based localization and people's activity learning, especially in the environments where the geometrical map is not available or does not exist. To this end, we ...
详细信息
Heavily-doped strained germanium (Ge) can emit light efficiently thanks to its pseudo direct band gap characteristic. This makes Ge a good candidate for on-chip monolithic light sources in silicon (Si) photonics syste...
详细信息
This paper presents a planning approach using Case-Based Reasoning (CBR) modeled as a Subsumption Architecture to generate plans for driving trains. The main idea of a planning strategy is to generate a sequence of ac...
详细信息
This paper presents a planning approach using Case-Based Reasoning (CBR) modeled as a Subsumption Architecture to generate plans for driving trains. The main idea of a planning strategy is to generate a sequence of actions for an agent, which can use these actions to change its environment. CBR allows using prior experiences for new task assignments. In the proposed ap-proach, each previous experience (if not applicable) is adjusted us-ing one or more adaptation methods like substitutive and genetic algorithm. Our interest is to create a flexible architecture for an agent and apply it to simulate train conductions. We expect that the plans generated by this approach generate better results com-pared to another studies already developed for the area mainly considering fuel consumption and travel time.
Unloaded and 0.25-1.0 wt% Pt-loaded WO3 nanoparticles were synthesized by hydrothermal method using sodium tungstate dihydrate and sodium chloride as precursors in an acidic condition and impregnated using platinum ac...
详细信息
The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid...
详细信息
The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid/semiformal verification approaches are able to verify large and complex embedded software with hardware dependencies. This work presents an optimized scalable hybrid verification approach for the verification of embedded software with hardware dependencies using a mixed bottom-up/top-down algorithm with optimized static parameter assignment (SPA). These algorithms and methodologies like SPA and counterexample guided simulation are used to combine simulation-based and formal verification in a new way. SPA offers a way to interact between dynamic and static verification approaches based on an automated ranking heuristic of possible function parameters according to the impact on the model size. Furthermore, SPA inserts initialization code for specific function parameters into the source code under test and supports model building and optimization algorithms to reduce the state space. We have successfully applied this optimized hybrid verification methodology to an embedded software application: Motorola's Powerstone Benchmark suite. The results show that our approach scales better than stand-alone software model checkers to reach deep state spaces.
In this paper we report on the performance of a coupled oscillator based implementation of the HMAX image-processing pipeline. Within this pipeline we have used coupled oscillator arrays to replace traditional Boolean...
详细信息
In this paper we report on the performance of a coupled oscillator based implementation of the HMAX image-processing pipeline. Within this pipeline we have used coupled oscillator arrays to replace traditional Boolean logic with a Degree-of-Match (DoM) function that measures the L2 distance squared between two vectors in an n-dimensional space. We show that this operation can be used in three stages of the pipeline: 1) as a substitute for convolution in filtering operations, 2) as a computational kernel for pattern matching, and 3) as a distance function in a nearest neighbor classification algorithm. In this study, we have modeled the performance of the latter two and report our recognition results over a test set from the Neo Vision2 image database.
Automatic plant identification via computer vision techniques has been greatly important for a number of professionals, such as environmental protectors, land managers, and foresters. In this paper, we conduct a compa...
详细信息
Automatic plant identification via computer vision techniques has been greatly important for a number of professionals, such as environmental protectors, land managers, and foresters. In this paper, we conduct a comparative study on leaf image recognition and propose a novel learning-based leaf image recognition technique via sparse representation (or sparse coding) for automatic plant identification. In our learning-based method, in order to model leaf images, we learn an overcomplete dictionary for sparsely representing the training images of each leaf species. Each dictionary is learned using a set of descriptors extracted from the training images in such a way that each descriptor is represented by linear combination of a small number of dictionary atoms. Moreover, we also implement a general bag-of-words (BoW) model-based recognition system for leaf images, used for comparison. We experimentally compare the two approaches and show unique characteristics of our sparse coding-based framework. As a result, efficient leaf recognition can be achieved on public leaf image dataset based on the two evaluated methods, where the proposed sparse coding-based framework can perform better.
Uncertainty is a key factor that prevents a commuter from using public transportation system. More and more transportation agencies are incorporating real-time Trip Planners to empower commuters with opportune informa...
详细信息
ISBN:
(纸本)9781479976164
Uncertainty is a key factor that prevents a commuter from using public transportation system. More and more transportation agencies are incorporating real-time Trip Planners to empower commuters with opportune information. However, such systems require continuous status updates from the vehicles and involves expensive communication cost. In this paper we propose an architecture that takes advantage of Machine-to-Machine Communication concepts and provides a degree of intelligence to the vehicles, to alleviate unnecessary communication between the vehicles and the Trip Planner.
Tracking an unknown number of various objects involving occlusion and multiple entry and exit points automatically is a challenging problem. Here we integrate spatial knowledge of human-object interactions into a high...
详细信息
Tracking an unknown number of various objects involving occlusion and multiple entry and exit points automatically is a challenging problem. Here we integrate spatial knowledge of human-object interactions into a high performing tracker to show that human context can further improve both detection and tracking. We use the DARPA Mind's Eye Action Recognition Dataset, which is comprised of street level scenes with humans interacting with handheld objects, to show this improvement. We find that human context can greatly reduce the number of false positive detections at the expense of increasing false negatives over a large test set (>230k frames). To minimize this, we add occlusion reasoning, where object detections are hallucinated when a human detection overlaps an object detection. These components together result in an average F 1 improvement of 107% per object category and a 69% reduction in track latency.
暂无评论