490 search results - page 41 / 98 » Modeling lobed leaves |
ESOP
2006
Springer
14 years 14 days ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
CGF
2008
13 years 9 months ago
2008
Many categories of objects, such as human faces, can be naturally viewed as a composition of several different layers. For example, a bearded face with glasses can be decomposed i...
SQJ
2010
13 years 7 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
DSS
2011
13 years 10 days ago
2011
Abstract: Much has been written about word of mouth and customer behavior. Telephone call detail records provide a novel way to understand the strength of the relationship between ...
COMPUTER
2002
13 years 8 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...