5325 search results - page 167 / 1065 » Effective Computation for Nonlinear Systems |
157
click to vote
WDAG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
207
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
—The paper describes the process of designing a task-oriented continuous speech recognition system for Polish, based on CMU Sphinx4, to be used in the voice interface of a comput...
183
click to vote
LCR
1998
Springer
15 years 10 months ago
1998
Springer
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
151
click to vote
ICALT
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper reports a study that aims to construct a 2D barcode supported learning system, called HELLO (Handheld English Language Learning Organization), to improve students’ En...