Sciweavers

1759 search results - page 285 / 352
» A guide to membrane computing
Sort
View
BILDMED
2009
162views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Extracting a Purely Non-rigid Deformation Field of a Single Structure
During endovascular aortic repair (EVAR) treatment, the aortic shape is subject to severe deformation that is imposed by medical instruments such as guide wires, catheters, and the...
Stefanie Demirci, Frode Manstad-Hulaas, Nassir Nav...
C3S2E
2010
ACM
15 years 5 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
GECCO
2008
Springer
155views Optimization» more  GECCO 2008»
15 years 5 months ago
Integrating user preferences with particle swarms for multi-objective optimization
This paper proposes a method to use reference points as preferences to guide a particle swarm algorithm to search towards preferred regions of the Pareto front. A decision maker c...
Upali K. Wickramasinghe, Xiaodong Li
GECCO
2008
Springer
116views Optimization» more  GECCO 2008»
15 years 5 months ago
Multi-objective memetic approach for flexible process sequencing problems
This paper describes a multi-objective memetic approach for solving multi-objective flexible process sequencing problems in flexible manufacturing systems (FMSs). FMS can be des...
Jian-Hong Chen, Jian-Hung Chen
LDTA
2010
15 years 4 months ago
Embedding a web-based workflow management system in a functional language
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. ...