Sciweavers

3233 search results - page 276 / 647
» Validation Method for Intelligent Systems
Sort
View
TSP
2010
14 years 11 months ago
Improved interference cancellation scheme for two-user detection of alamouti code
In this paper, we propose an improved interference cancellation method for two-user multiple access based MIMO communication system. It is shown in the paper, that by using the pr...
Manav R. Bhatnagar, Are Hjørungnes
AAAI
2006
15 years 5 months ago
Mixed Collaborative and Content-Based Filtering with User-Contributed Semantic Features
We describe a recommender system which uses a unique combination of content-based and collaborative methods to suggest items of interest to users, and also to learn and exploit it...
Matthew Garden, Gregory Dudek
ICAT
2007
IEEE
15 years 10 months ago
Improvement of Accuracy for 2D Marker-Based Tracking Using Particle Filter
This paper presents a method for improving accuracy of marker-based tracking using a 2D marker for Augmented Reality. We focus on that tracking becomes unstable when the view dire...
Yuko Uematsu, Hideo Saito
ICFEM
2004
Springer
15 years 9 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
EMSOFT
2008
Springer
15 years 6 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...