2621 search results - page 271 / 525 » Generalized Algorithms for Constructing Statistical Language... |
131
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
120
click to vote
CICLING
2003
Springer
15 years 8 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
136
click to vote
FGCS
2010
15 years 1 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
114
click to vote
SIGIR
2005
ACM
15 years 8 months ago
2005
ACM
A large number of question and answer pairs can be collected from question and answer boards and FAQ pages on the Web. This paper proposes an automatic method of finding the ques...
128
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
On-Line Analytical Processing (OLAP) has shown great success in many industry applications, including sales, marketing, management, financial data analysis, etc. In this paper, w...