Sciweavers

1870 search results - page 23 / 374
» Abstract And-Parallel Machines
Sort
View
HCI
2009
13 years 5 months ago
cfHMI: A Novel Contact-Free Human-Machine Interface
Abstract. In this paper we present our approach for a new contactfree Human-Machine Interface (cfHMI). This cfHMI is designed for controlling applications
Tobias Rehrl, Alexander Bannat, Jürgen Gast, ...
TCS
2012
12 years 3 months ago
Improved simulation of nondeterministic Turing machines
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...
Subrahmanyam Kalyanasundaram, Richard J. Lipton, K...
PROPOR
2010
Springer
173views Languages» more  PROPOR 2010»
13 years 5 months ago
A Machine Learning Approach to Portuguese Clause Identification
Abstract. In this work, we apply and evaluate a machine-learningbased system to Portuguese clause identification. To the best of our knowledge, this is the first machine-learning-b...
Eraldo R. Fernandes, Cícero Nogueira dos Sa...
MSCS
2010
104views more  MSCS 2010»
13 years 6 months ago
A note on accelerated Turing machines
ABSTRACT. In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in a...
Cristian S. Calude, Ludwig Staiger
INFORMATICALT
2010
134views more  INFORMATICALT 2010»
13 years 5 months ago
Observability of Turing Machines: A Refinement of the Theory of Computation
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
Yaroslav D. Sergeyev, Alfredo Garro