Sciweavers

4890 search results - page 622 / 978
» From system specifications to component behavioral models
Sort
View
AAI
2005
138views more  AAI 2005»
15 years 6 months ago
Learning By Teaching: A New Agent Paradigm For Educational Software
This paper discusses Betty's Brain, a teachable agent in the domain of river ecosystems that combines learning by teaching with self-regulation mentoring to promote deep lear...
Gautam Biswas, Krittaya Leelawong, Daniel Schwartz...
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
16 years 26 days ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
MICCAI
2001
Springer
15 years 11 months ago
Deformable Organisms for Automatic Medical Image Analysis
We introduce a new paradigm for automatic medical image analysis that adopts concepts from the field of Artificial Life. Our approach prescribes deformable organisms, autonomous ag...
Ghassan Hamarneh, Tim McInerney, Demetri Terzopoul...
NAR
2007
150views more  NAR 2007»
15 years 6 months ago
CellCircuits: a database of protein network models
CellCircuits (http://www.cellcircuits.org) is an openaccess database of molecular network models, designed to bridge the gap between databases of individual pairwise molecular int...
H. Craig Mak, Mike Daly, Bianca Gruebel, Trey Idek...
TIP
2010
119views more  TIP 2010»
15 years 1 months ago
Trajectory Classification Using Switched Dynamical Hidden Markov Models
This paper proposes an approach for recognizing human activities (more specifically, pedestrian trajectories) in video sequences, in a surveillance context. A system for automatic ...
Jacinto C. Nascimento, Mário A. T. Figueire...