Sciweavers

6960 search results - page 516 / 1392
» Continuity Analysis of Programs
Sort
View
PRL
2010
100views more  PRL 2010»
15 years 5 months ago
Extraction of building polygons from SAR images: Grouping and decision-level in the GESTALT system
The GESTALT-System is a stratified architecture for challenging computer vision tasks. This contribution focuses on the 3rd and 4th layer of it – the grouping and decision layer...
Eckart Michaelsen, Uwe Stilla, Uwe Soergel, Leo J....
IFIP
2009
Springer
15 years 4 months ago
On the Automated Correction of Protocols with Improper Message Encoding
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
Dieter Hutter, Raul Monroy
TSE
2010
120views more  TSE 2010»
15 years 1 months ago
Efficient Software Verification: Statistical Testing Using Automated Search
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
Simon M. Poulding, John A. Clark
CHI
2011
ACM
14 years 10 months ago
MusEEGk: a brain computer musical interface
We present a novel integration of a brain-computer interface (BCI) with a music step sequencer composition program. Previous BCIs that utilize EEG data to form music provide users...
Yee Chieh "Denise" Chew, Eric Caspary
IPPS
2007
IEEE
16 years 1 months ago
A Comprehensive Analysis of OpenMP Applications on Dual-Core Intel Xeon SMPs
Hybrid chip multithreaded SMPs present new challenges as well as new opportunities to maximize performance. Our intention is to discover the optimal operating configuration of suc...
Ryan E. Grant, Ahmad Afsahi