Sciweavers

3233 search results - page 160 / 647
» Validation Method for Intelligent Systems
Sort
View
ICPR
2010
IEEE
16 years 1 days ago
Sparse Coding of Linear Dynamical Systems with an Application to Dynamic Texture Recognition
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
Bernard Ghanem, Narendra Ahuja
FORMATS
2003
Springer
15 years 11 months ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 11 months ago
A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
Klaus Buchenrieder, Andreas Pyttel, Alexander Sedl...
VIP
2000
15 years 7 months ago
A System for Geographical and Spatial Data Exploration on the Internet
Developing a detailed 3D conceptual spatial data model and incorporating it for visualization, is a promising method of Spatial Data Exploration for a variety of applications espe...
Celyn S. L. Chan, Tony K. Y. Chan, Edmond Cyril Pr...
ATAL
2005
Springer
15 years 12 months ago
An online POMDP algorithm for complex multiagent environments
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
Sébastien Paquet, Ludovic Tobin, Brahim Cha...