1026 search results - page 125 / 206 » A Methodology for Equational Reasoning |
135
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
137
click to vote
AIED
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. This paper presents a methodology for automatically customizing a scenario to suit a learner’s abilities, needs, or goals. Training scenarios are often utilized to give...
163
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
157
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
152
click to vote
ICCBR
2009
Springer
16 years 22 days ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...