2455 search results - page 360 / 491 » Learning Composite Concepts |
151
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
172
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
171
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
187
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
183
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
Effective management of Web Services systems relies on accurate understanding of end-to-end transaction flows, which may change over time as the service composition evolves. This ...