2623 search results - page 147 / 525 » tools 2010 |
154
click to vote
SPLC
2010
15 years 7 months ago
2010
Abstract. Understanding the challenges faced by real projects in evolving variability models, is a prerequisite for providing adequate support for such undertakings. We study the e...
144
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
137
Voted
LREC
2010
15 years 7 months ago
2010
We present our ongoing work on language technology-based e-science in the humanities, social sciences and education, with a focus on text-based research in the historical sciences...
148
click to vote
ENTCS
2007
15 years 5 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
163
Voted
ITS
2010
Springer
15 years 4 months ago
2010
Springer
In the mathematics domain of decimals, students have common and persistent misconceptions. These misconceptions have been identified, studied, and published by many researchers, sp...