Sciweavers

5153 search results - page 63 / 1031
» Introduction to Randomized Algorithms
Sort
View
CCECE
2006
IEEE
15 years 3 months ago
Imaging of Electrode Movement and Conductivity Change in Electrical Impedance Tomography
Electrical Impedance Tomography (EIT) applies and measures electrical energy on the boundary of a medium to produce an image of its internal impedance distribution. In many medica...
Camille Gomez-Laberge, Andy Adler
KBSE
1999
IEEE
15 years 2 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle
VLC
2011
83views more  VLC 2011»
14 years 4 months ago
A decision procedure for a decidable fragment of generalized constraint diagrams
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
Jim Burton, Gem Stapleton, Ali Hamie

Publication
319views
13 years 8 months ago
 Viability Evolution: Elimination and Extinction in Evolutionary Computation
Current mainstream Evolutionary Algorithms (EA) are based on the concept of selection, encapsulated in the definition of a fitness function. Besides selection, however, the natur...
Claudio Mattiussi
DAC
2009
ACM
15 years 4 months ago
Yield-driven iterative robust circuit optimization algorithm
This paper proposes an equation-based multi-scenario iterative robust optimization methodology for analog/mixed-signal circuits. We show that due to local circuit performance mono...
Yan Li, Vladimir Stojanovic