Sciweavers

4325 search results - page 161 / 865
» Incremental computation with names
Sort
View
ROMAN
2007
IEEE
134views Robotics» more  ROMAN 2007»
16 years 23 days ago
Development and Performance Evaluation of a Neural Signal-based Assistive Computer Interface
Abstract—This paper presents the development and performance evaluation of a human-computer interface that enables a limb-disabled person to access a computer via neural signals....
Changmok Choi, Hyonyoung Han, Chunwoo Kim, Jung Ki...
ICPPW
2006
IEEE
16 years 15 days ago
m-LPN: An Approach Towards a Dependable Trust Model for Pervasive Computing Applications
Trust, the fundamental basis of ‘cooperation’ – one of the most important characteristics for the performance of pervasive ad hoc network-- is under serious threat with the ...
Munirul M. Haque, Sheikh Iqbal Ahamed
ICLP
2004
Springer
15 years 12 months ago
Speculative Computations in Or-Parallel Tabled Logic Programs
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
CORR
2004
Springer
166views Education» more  CORR 2004»
15 years 6 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
NPL
2007
109views more  NPL 2007»
15 years 6 months ago
Generative Modeling of Autonomous Robots and their Environments using Reservoir Computing
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...
Eric A. Antonelo, Benjamin Schrauwen, Jan M. Van C...