Sciweavers

1499 search results - page 228 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
Sort
View
JASSS
1998
82views more  JASSS 1998»
15 years 6 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
ML
1998
ACM
113views Machine Learning» more  ML 1998»
15 years 6 months ago
Machine Learning for the Detection of Oil Spills in Satellite Radar Images
During a project examining the use of machine learning techniques for oil spill detection, we have encountered several essential questions that we believe deserve the attention of ...
Miroslav Kubat, Robert C. Holte, Stan Matwin
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
15 years 4 months ago
Towards optimally efficient field estimation with threshold-based pruning in real robotic sensor networks
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
Amanda Prorok, Christopher M. Cianci, Alcherio Mar...
ERSA
2009
107views Hardware» more  ERSA 2009»
15 years 4 months ago
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...
CC
2009
Springer
142views System Software» more  CC 2009»
16 years 7 months ago
Extensible Proof-Producing Compilation
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
Magnus O. Myreen, Konrad Slind, Michael J. C. Gord...