1730 search results - page 121 / 346 » Open Archiving for Open Research |
154
click to vote
SPIN
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriï¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiï¬...
167
click to vote
SIGMOD
2008
ACM
15 years 3 months ago
2008
ACM
Provenance in the context of workflows, both for the data they derive and for their specification, is an essential component to allow for result reproducibility, sharing, and know...
107
Voted
SCIENTOMETRICS
2010
15 years 1 months ago
2010
This paper revisits an aspect of citation theory (i.e., citer motivation) with respect to the Mathematical Review system and the reviewer’s role in mathematics. We focus on a se...
156
click to vote
IJOSSP
2010
14 years 10 months ago
2010
Empirical research on software development based on data obtained from project repositories and code forges is increasingly gaining attention in the software engineering research ...
133
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...