1669 search results - page 93 / 334 » Structured Specification of Model Interpreters |
123
click to vote
DOCENG
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
111
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
141
click to vote
EDM
2008
15 years 4 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 ...
106
click to vote
INCDM
2007
Springer
15 years 9 months ago
2007
Springer
For difficult prediction problems, practitioners often segment the data into relatively homogenous groups and then build a model for each group. This two-step procedure usually res...
122
Voted
ICCCI
2009
Springer
15 years 10 months ago
2009
Springer
Ionic channels are among the most difficult proteins for experimental structure determining, very few of them has been resolved. Bioinformatical tools has not been tested for this ...