2206 search results - page 407 / 442 » On the power of coercion abstraction |
DATE
2010
IEEE
14 years 21 days ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
WOLLIC
2010
Springer
14 years 20 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
ECCV
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. We address the problem of large scale place-of-interest recognition in cell phone images of urban scenarios. Here, we go beyond what has been shown in earlier approaches ...
EUROCRYPT
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
GECCO
2010
Springer
14 years 12 days ago
2010
Springer
HyperNEAT represents a class of neuroevolutionary algorithms that captures some of the power of natural development with a ionally efficient high-level abstraction of development....