Sciweavers

668 search results - page 30 / 134
» Hyperrelations in version space
Sort
View
GMP
2008
IEEE
114views Solid Modeling» more  GMP 2008»
14 years 3 months ago
Detection of Planar Regions in Volume Data for Topology Optimization
We propose a method to identify planar regions in volume data using a specialized version of the discrete Radon transform operating on a structured or unstructured grid. The algori...
Ulrich Bauer, Konrad Polthier
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
14 years 2 months ago
Reducing the space-time complexity of the CMA-ES
A limited memory version of the covariance matrix adaptation evolution strategy (CMA-ES) is presented. This algorithm, L-CMA-ES, improves the space and time complexity of the CMA-...
James N. Knight, Monte Lunacek
CASCON
2006
98views Education» more  CASCON 2006»
13 years 10 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight
AAAI
2000
13 years 10 months ago
Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment
We present a new algorithm that reduces the space complexity of heuristic search. It is most effective for problem spaces that grow polynomially with problem size, but contain lar...
Richard E. Korf, Weixiong Zhang
ACTAC
2002
90views more  ACTAC 2002»
13 years 8 months ago
The Home Marking Problem and Some Related Concepts
: In this paper we study the home marking problem for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home m...
Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio ...