Sciweavers

2278 search results - page 189 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
GECCO
2005
Springer
109views Optimization» more  GECCO 2005»
16 years 8 hour ago
Information landscapes and the analysis of search algorithms
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
Yossi Borenstein, Riccardo Poli
IEEEAMS
2003
IEEE
15 years 11 months ago
Building Autonomic Systems Via Configuration
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram ...
ICDAR
2009
IEEE
16 years 1 months ago
A Dual Taxonomy for Defects in Digitized Historical Photos
Old photos may be affected by several types of defects. Manual restorers use their own taxonomy to classify damages by which a photo is affected, in order to apply the proper rest...
Edoardo Ardizzone, A. De Polo, Haris Dindo, Giusep...
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 29 days ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
VIS
2009
IEEE
200views Visualization» more  VIS 2009»
16 years 7 months ago
Interactive Coordinated Multiple-View Visualization of Biomechanical Motion Data
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
Daniel F. Keefe, Marcus Ewert, William Ribarsky,...