Sciweavers

6562 search results - page 211 / 1313
» Noetherianity and Combination Problems
Sort
View
JUCS
2010
135views more  JUCS 2010»
15 years 1 months ago
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
Mark Melia, Claus Pahl
SCP
2010
123views more  SCP 2010»
15 years 1 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
TVLSI
2010
15 years 1 months ago
Asynchronous Data-Driven Circuit Synthesis
A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a data-driven, rather than a control-driven, style. This approach...
Sam Taylor, Doug A. Edwards, Luis A. Plana, Luis A...
OL
2011
217views Neural Networks» more  OL 2011»
15 years 27 days ago
Privacy-preserving linear programming
Abstract. We propose a privacy-preserving formulation of a linear program whose constraint matrix is partitioned into groups of columns where each group of columns and its correspo...
O. L. Mangasarian
ICASSP
2011
IEEE
14 years 10 months ago
Source number estimation in impulsive noise environments using bootstrap techniques and robust statistics
We consider the problem of source number estimation in array processing when impulsive noise is present. To combat impulsive noise more effectively, two robust estimators with hig...
Zhihua Lu, Yacine Chakhchoukh, Abdelhak M. Zoubir