Sciweavers

4581 search results - page 723 / 917
» Computing Transformation Semigroups
Sort
View
FASE
2007
Springer
16 years 20 days ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
MFCS
2007
Springer
16 years 19 days ago
Finding Paths Between Graph Colourings: PSPACE-Completeness and Superpolynomial Distances
Suppose we are given a graph G together with two proper vertex k-colourings of G, α and β. How easily can we decide whether it is possible to transform α into β by recolouring...
Paul S. Bonsma, Luis Cereceda
CODES
2005
IEEE
16 years 3 days ago
Aggregating processor free time for energy reduction
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, ...
GECCO
2010
Springer
191views Optimization» more  GECCO 2010»
15 years 11 months ago
Toward comparison-based adaptive operator selection
Adaptive Operator Selection (AOS) turns the impacts of the applications of variation operators into Operator Selection through a Credit Assignment mechanism. However, most Credit ...
Álvaro Fialho, Marc Schoenauer, Michè...
MM
2009
ACM
206views Multimedia» more  MM 2009»
15 years 11 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