6581 search results - page 1013 / 1317 » Formalizing Design Patterns |
180
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
168
click to vote
AIED
2005
Springer
16 years 8 days 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...
165
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
156
click to vote
APN
2005
Springer
16 years 8 days ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
165
click to vote
APN
2005
Springer
16 years 8 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...