6740 search results - page 586 / 1348 » Using Classification as a Programming Language |
267
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
The most popular architecture for parallel search is work stealing: threads that have run out of work (nodes to be searched) steal from threads that still have work. Work stealing ...
157
click to vote
ROMAN
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract—In this paper, we present POSTECH Spoken Dialogue System for Electronic Program Guide Information Access (POSSDS-EPG). POSSDS-EPG consists of automatic speech recognizer...
182
click to vote
HUC
2004
Springer
15 years 11 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
170
Voted
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
158
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...