Sciweavers

339 search results - page 30 / 68
» Handling dynamic data structures in search based testing
Sort
View
APN
2003
Springer
14 years 2 months ago
Deciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
H. M. W. (Eric) Verbeek, Twan Basten
FLAIRS
2008
13 years 11 months ago
Conditional and Composite Constraints with Preferences
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
Malek Mouhoub, Amrudee Sukpan
VLDB
2007
ACM
179views Database» more  VLDB 2007»
14 years 9 months ago
Mining Approximate Top-K Subspace Anomalies in Multi-Dimensional Time-Series Data
Market analysis is a representative data analysis process with many applications. In such an analysis, critical numerical measures, such as profit and sales, fluctuate over time a...
Xiaolei Li, Jiawei Han
ICMENS
2003
IEEE
80views Hardware» more  ICMENS 2003»
14 years 2 months ago
Molecular Dynamics Calculations of the Electrostatic Properties of Tubulin and Their Consequences for Microtubules
crystallographic results were made available through the Protein Data Bank (PDB) (entries: ITUB and IJFF) which allowed us to view the 3D atomic resolution structure oftubulin. (se...
J. A. Tuszynski, E. J. Carpenter, E. Crawford, J. ...
ECCV
2002
Springer
14 years 11 months ago
A Comparison of Search Strategies for Geometric Branch and Bound Algorithms
Over the last decade, a number of methods for geometric matching based on a branch-and-bound approach have been proposed. Such algorithms work by recursively subdividing transforma...
Thomas M. Breuel