1565 search results - page 287 / 313 » Interactive modeling of trees by using growth simulation |
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
CHI
2008
ACM
13 years 10 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Advocates of sexual selection theory have argued that various male traits, such as male co-operative behavior towards females, can evolve through female preference for mating with ...
EUROMICRO
1996
IEEE
14 years 19 days ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...