Sciweavers

3987 search results - page 650 / 798
» Ontology-Based Model Transformation
Sort
View
ISCA
2005
IEEE
119views Hardware» more  ISCA 2005»
15 years 11 months ago
Rescue: A Microarchitecture for Testability and Defect Tolerance
Scaling feature size improves processor performance but increases each device’s susceptibility to defects (i.e., hard errors). As a result, fabrication technology must improve s...
Ethan Schuchman, T. N. Vijaykumar
EUROCRYPT
2004
Springer
15 years 11 months ago
Positive Results and Techniques for Obfuscation
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
Ben Lynn, Manoj Prabhakaran, Amit Sahai
GIAE
2004
Springer
136views Mathematics» more  GIAE 2004»
15 years 11 months ago
Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid, Ch...
MM
2009
ACM
206views Multimedia» more  MM 2009»
15 years 10 months ago
Adaptive, selective, automatic tonal enhancement of faces
This paper presents an efficient, personalizable and yet completely automatic algorithm for enhancing the brightness, tonal balance, and contrast of faces in thumbnails of online...
Hrishikesh Aradhye, George Toderici, Jay Yagnik
DIGITALCITIES
2001
Springer
15 years 10 months ago
Little Boxes, Glocalization, and Networked Individualism
Much thinking about digital cities is in terms of community groups. Yet, the world is composed of social networks and not of groups. This paper traces how communities have changed ...
Barry Wellman