Sciweavers

7522 search results - page 1311 / 1505
» Spacing memetic algorithms
Sort
View
C3S2E
2010
ACM
15 years 1 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
119
Voted
CEC
2010
IEEE
15 years 1 months ago
Coordinate System Archive for coevolution
Problems in which some entities interact with each other are common in computational intelligence. This scenario, typical for co-evolving artificial-life agents, learning strategie...
Wojciech Jaskowski, Krzysztof Krawiec
CHES
2010
Springer
210views Cryptology» more  CHES 2010»
15 years 1 months ago
Flash Memory 'Bumping' Attacks
This paper introduces a new class of optical fault injection attacks called bumping attacks. These attacks are aimed at data extraction from secure embedded memory, which usually s...
Sergei Skorobogatov
95
Voted
CIDR
2009
132views Algorithms» more  CIDR 2009»
15 years 1 months ago
uFLIP: Understanding Flash IO Patterns
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer t...
Luc Bouganim, Björn Þór Jó...
84
Voted
FSKD
2008
Springer
123views Fuzzy Logic» more  FSKD 2008»
15 years 1 months ago
PartSpan: Parallel Sequence Mining of Trajectory Patterns
The trajectory pattern mining problem has recently attracted increasing attention. This paper precisely addresses the parallel mining problem of trajectory patterns as well as the...
Shaojie Qiao, Changjie Tang, Shucheng Dai, Mingfan...
« Prev « First page 1311 / 1505 Last » Next »