Sciweavers

8816 search results - page 460 / 1764
» Interactive Modeling of Plants
Sort
View
SPIN
2010
Springer
15 years 5 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
VSMM
2007
Springer
16 years 1 months ago
Evolutionary Virtual Agent at an Exhibition
This paper describes the Evolutionary Virtual Agent (EVA) prototype designed as an interactive entertainment system for a multimedia exhibition. This implementation uses a behavior...
Jean-Claude Heudin
CHI
1997
ACM
15 years 11 months ago
Computer aided creativity and multicriteria optimization in design
Establishing that machines cannot automate creative design and that it is a difficult task for humans, I propose a computational model based on the human and machine complementari...
Denis Lalanne
NAR
2006
101views more  NAR 2006»
15 years 6 months ago
Epitome: database of structure-inferred antigenic epitopes
Immunoglobulin molecules specifically recognize particular areas on the surface of proteins. These areas are commonly dubbed B-cell epitopes. The identification of epitopes in pro...
Avner Schlessinger, Yanay Ofran, Guy Yachdav, Burk...
FORTE
2009
15 years 4 months ago
System Model-Based Definition of Modeling Language Semantics
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
Hans Grönniger, Jan Oliver Ringert, Bernhard ...