5525 search results - page 960 / 1105 » Verification of Model Transformations |
150
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
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)...
128
click to vote
GIAE
2004
Springer
15 years 9 months ago
2004
Springer
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...
146
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
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...
125
Voted
DIGITALCITIES
2001
Springer
15 years 8 months ago
2001
Springer
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 ...
129
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We present an approach for automatically generating complete process plans, including xturing and CNC code, from high level shape feature part descriptions. The demonstration syst...