Sciweavers

479 search results - page 43 / 96
» Discrepancy Analysis of Complex Objects Using Dissimilaritie...
Sort
View
GECCO
2003
Springer
14 years 24 days ago
The State Problem for Evolutionary Testing
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
Phil McMinn, Mike Holcombe
SMI
2003
IEEE
143views Image Analysis» more  SMI 2003»
14 years 26 days ago
Rough Surface Modeling Using Surface Growth
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
Yootai Kim, Raghu Machiraju, David Thompson
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
14 years 8 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
CCS
2007
ACM
14 years 1 months ago
Specifying and analyzing security automata using CSP-OZ
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...
ISBI
2011
IEEE
12 years 11 months ago
3D segmentation of rodent brain structures using Active Volume Model with shape priors
Object boundary extraction is an important task in brain image analysis. Acquiring detailed 3D representations of the brain structures could improve the detection rate of diseases...
Shaoting Zhang, Junzhou Huang, Mustafa Gökhan...