10568 search results - page 244 / 2114 » Computer Intelligence and Formalization |
115
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
146
click to vote
GG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
109
click to vote
ICALT
2007
IEEE
15 years 9 months ago
2007
IEEE
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
105
click to vote
AIED
2007
Springer
15 years 9 months ago
2007
Springer
The efficacy of a tutoring system for pre-algebra instruction plus human tutoring was compared to instruction provided to small groups of middle school students by experienced huma...
101
click to vote
CIBCB
2006
IEEE
15 years 9 months ago
2006
IEEE
- The advanced protein profiling technologies can simultaneously resolve and analyze multiple proteins. Evaluating multiple proteins will be essential to establish signature proteo...