4743 search results - page 310 / 949 » The PlusCal Algorithm Language |
143
click to vote
FMSD
2008
15 years 4 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
132
click to vote
ACL
2010
15 years 2 months ago
2010
Finding allowable places in words to insert hyphens is an important practical problem. The algorithm that is used most often nowadays has remained essentially unchanged for 25 yea...
237
click to vote
NAACL
2010
15 years 1 months ago
2010
This paper proposes a general learning framework for a class of problems that require learning over latent intermediate representations. Many natural language processing (NLP) dec...
118
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
155
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
Bluetooth is a wireless specification delivering short-range radio communication between electronic devices that are equipped with specialized Bluetooth chips. It lets nearly all ...