8816 search results - page 123 / 1764 » Interactive Modeling of Plants |
277
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
163
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
161
click to vote
APCCM
2008
15 years 7 months ago
2008
Over the last few years, the web is establishing increased importance in society with the rise of social networking sites and the semantic web, facilitated and driven by the popul...
143
click to vote
INFSOF
2006
15 years 6 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
210
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose a framework for large scale learning and annotation of structured models. The system interleaves interactive labeling (where the current model is used to semiautomate t...