1354 search results - page 122 / 271 » Comparing Agent-Oriented Methodologies |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
CASCON
2007
14 years 11 months ago
2007
As online communities proliferate, methods are needed to explore and capture patterns of activity within them. This paper focuses on the problem of identifying active subgroups wi...
EDM
2010
14 years 11 months ago
2010
This paper demonstrates the generality of the hidden Markov model approach for exploratory sequence analysis by applying the methodology to study students' learning behaviors ...
DMIN
2007
14 years 11 months ago
2007
— The application of feature selection techniques greatly reduces the computational cost of classifying highdimensional data. Feature selection algorithms of varying performance ...
EDM
2008
14 years 11 months ago
2008
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...