Sciweavers

10406 search results - page 79 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
EDM
2010
185views Data Mining» more  EDM 2010»
14 years 11 months ago
Analysis of Productive Learning Behaviors in a Structured Inquiry Cycle Using Hidden Markov Models
This paper demonstrates the generality of the hidden Markov model approach for exploratory sequence analysis by applying the methodology to study students' learning behaviors ...
Hogyeong Jeong, Gautam Biswas, Julie Johnson, Larr...
ICCS
2004
Springer
15 years 3 months ago
Solving Differential Equations in Developmental Models of Multicellular Structures Expressed Using L-systems
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
Pavol Federl, Przemyslaw Prusinkiewicz
BMCBI
2006
143views more  BMCBI 2006»
14 years 10 months ago
Application of protein structure alignments to iterated hidden Markov model protocols for structure prediction
Background: One of the most powerful methods for the prediction of protein structure from sequence information alone is the iterative construction of profile-type models. Because ...
Eric D. Scheeff, Philip E. Bourne
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
15 years 1 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...
SPIN
2001
Springer
15 years 2 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin