Sciweavers

9989 search results - page 1621 / 1998
» A CLP Approach to Modelling Systems
Sort
View
TSP
2008
146views more  TSP 2008»
15 years 6 months ago
Improved M-FOCUSS Algorithm With Overlapping Blocks for Locally Smooth Sparse Signals
Abstract-- The FOCal Underdetermined System Solver (FOCUSS) algorithm has already found many applications in signal processing and data analysis, whereas the regularized MFOCUSS al...
Rafal Zdunek, Andrzej Cichocki
HF
2002
95views more  HF 2002»
15 years 6 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
CGF
1999
130views more  CGF 1999»
15 years 6 months ago
A Free Form Feature Taxonomy
In this paper the notion of free form feature for aesthetic design is presented. The design of industrial products constituted by free form surfaces is done by using CAD systems r...
M. Fontana, Franca Giannini, M. Meirana
HCSE
2010
15 years 5 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
IAJIT
2010
133views more  IAJIT 2010»
15 years 5 months ago
Mediation Queries Adaptation After the Removal of a Data Source
: A broad variety of data is available in distinct heterogeneous sources, stored under different formats: database formats (in relational and object-oriented models), document form...
Latifa Baba-hamed
« Prev « First page 1621 / 1998 Last » Next »