2881 search results - page 459 / 577 » Model Checking for Programming Languages using Verisoft |
144
click to vote
USENIX
2000
15 years 6 months ago
2000
The transition from command-line interfaces to graphical interfaces has resulted in programs that are easier to learn and use, but harder to automate and reuse. Another transition...
113
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
128
Voted
EMNLP
2009
15 years 2 months ago
2009
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...
268
click to vote
DOLAP
2010
ACM
15 years 3 months ago
2010
ACM
Relational database systems have been the dominating technology to manage and analyze large data warehouses. Moreover, the ER model, the standard in database design, has a close r...
131
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...