3328 search results - page 235 / 666 » On Plateaued Functions and Their Constructions |
227
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...
195
click to vote
AAAI
2012
13 years 9 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speci...
195
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
Given a class of graphs F, we say that a graph G is universal for F, or F-universal, if every H ∈ F is contained in G as a subgraph. The construction of sparse universal graphs ...
153
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Average 3D digital atlas construction from a set of images is an important task for registration and assessment of intraand inter-population differences in structural and function...
139
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...