13457 search results - page 37 / 2692 » Can we elect if we cannot compare |
AAAI
2008
13 years 10 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
IUI
2012
ACM
12 years 3 months ago
2012
ACM
The next big step in embedded, mobile speech recognition will be to allow completely free input as it is needed for messaging like SMS or email. However, unconstrained dictation r...
ECIR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper describes usage of MT metrics in choosing the best candidates for MT-based query translation resources. Our main metrics is METEOR, but we also use NIST and BL...
AUTOMOTIVEUI
2009
ACM
14 years 8 days ago
2009
ACM
Nowadays, personal navigation devices (PNDs) that provide GPSbased directions are widespread in vehicles. These devices typically display the real-time location of the vehicle on ...