Sciweavers

2774 search results - page 301 / 555
» Query-Driven Program Testing
Sort
View
131
Voted
CEC
2010
IEEE
15 years 3 months ago
Evolving cascades of voting feature detectors for vehicle detection in satellite imagery
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...
Krzysztof Krawiec, Bartosz Kukawka, Tomasz Macieje...
SOFTVIS
2010
ACM
15 years 2 months ago
Towards anomaly comprehension: using structural compression to navigate profiling call-trees
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
Shen Lin 0003, François Taïani, Thomas...
99
Voted
COR
2008
66views more  COR 2008»
15 years 2 months ago
A multi-objective model for environmental investment decision making
Investment in landscapes to achieve outcomes that have multiple environmental benefits has become a major priority in many countries. This gives rise to opportunities for mathemat...
Andrew J. Higgins, Stefan Hajkowicz, Elisabeth N. ...
112
Voted
DAM
2008
111views more  DAM 2008»
15 years 2 months ago
Sums of squares based approximation algorithms for MAX-SAT
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
Hans van Maaren, Linda van Norden, M. J. H. Heule
JCP
2008
126views more  JCP 2008»
15 years 2 months ago
Content-Based Computer Simulation of a Networking Course: An Assessment
This paper presents a successful lab simulation experience to teach signal modulation and demodulation concepts in communication and computer networks to computer science and compu...
Giti Javidi, Ehsan Sheybani