Sciweavers

9810 search results - page 1793 / 1962
» Problems, Descriptions and Objects
Sort
View
ETS
2010
IEEE
150views Hardware» more  ETS 2010»
15 years 6 months ago
Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
Daniel Tille, Stephan Eggersglüß, Rene ...
GECCO
2008
Springer
144views Optimization» more  GECCO 2008»
15 years 6 months ago
Maintaining diversity through adaptive selection, crossover and mutation
This paper presents an Adaptive Genetic Algorithm (AGA) where selection pressure, crossover and mutation probabilities are adapted according to population diversity statistics. Th...
Brian McGinley, Fearghal Morgan, Colm O'Riordan
ICML
2010
IEEE
15 years 6 months ago
Learning Markov Logic Networks Using Structural Motifs
Markov logic networks (MLNs) use firstorder formulas to define features of Markov networks. Current MLN structure learners can only learn short clauses (4-5 literals) due to extre...
Stanley Kok, Pedro Domingos
CHI
2010
ACM
15 years 5 months ago
Graspables revisited: multi-touch vs. tangible input for tabletop displays in acquisition and manipulation tasks
We present an experimental comparison of multi-touch and tangible user interfaces for basic interface actions. Twelve participants completed manipulation and acquisition tasks on ...
Philip Tuddenham, David S. Kirk, Shahram Izadi
CEC
2010
IEEE
15 years 5 months ago
Designing airfoils using a reference point based evolutionary many-objective particle swarm optimization algorithm
— In this paper, we illustrate the use of a reference point based many-objective particle swarm optimization algorithm to optimize low-speed airfoil aerodynamic designs. Our fram...
Upali K. Wickramasinghe, Robert Carrese, Xiaodong ...
« Prev « First page 1793 / 1962 Last » Next »