20511 search results - page 77 / 4103 » On the level |
105
Voted
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
104
Voted
ICDE
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper looks at the problem of automatically tuning the database server multiprogramming level to improve database server performance under varying workloads. We describe t...
80
Voted
FAC
2008
15 years 1 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
111
Voted
ENTCS
2002
15 years 26 days ago
2002
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
116
click to vote
NAACL
2010
14 years 11 months ago
2010
This paper presents METEOR-NEXT, an extended version of the METEOR metric designed to have high correlation with postediting measures of machine translation quality. We describe c...