1181 search results - page 22 / 237 » A New Definition of Creativity |
JUCS
2008
13 years 7 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
Dynamic noise analysis is greatly needed in place of traditional static noise analysis due to the ever increasingly stringent design requirement for VLSI chips based on very deep ...
JUCS
2006
13 years 7 months ago
2006
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this work, a new type of watershed transform is introduced: the Tie-Zone WaterShed (TZWS). This region-based watershed transform does not depend on arbitrary implementation and...