2278 search results - page 86 / 456 » Specification Techniques for Automatic Performance Analysis ... |
107
click to vote
BTW
2007
Springer
15 years 3 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
SIGSOFT
2000
ACM
15 years 3 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
LREC
2010
15 years 28 days ago
2010
One problem in statistical machine translation (SMT) is that the output often is ungrammatical. To address this issue, we have investigated the use of a grammar checker for two pu...
ICPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. One of the key challenge in social behavior analysis is to automatically discover the subset of features relevant to a specific social signal (e.g., backchannel feedback...
111
click to vote
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...