Sciweavers

5372 search results - page 810 / 1075
» Robotics and interactive simulation
Sort
View
STOC
1998
ACM
105views Algorithms» more  STOC 1998»
15 years 11 months ago
Concurrent Zero-Knowledge
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
Cynthia Dwork, Moni Naor, Amit Sahai
BC
2008
72views more  BC 2008»
15 years 6 months ago
Dynamics and bifurcations of the adaptive exponential integrate-and-fire model
Recently, several two-dimensional spiking neuron models have been introduced, with the aim of reproducing the diversity of electrophysiological features displayed by real neurons w...
Jonathan Touboul, Romain Brette
IJVR
2008
130views more  IJVR 2008»
15 years 6 months ago
An Example of Virtual Environment and Web-based Application in Learning
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
Mohamed Hamada
JACIII
2008
101views more  JACIII 2008»
15 years 6 months ago
On-Line Fault Detection and Compensation of Hydraulic Driven Machines Using Modelling Techniques
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
Chrissanthi Angeli, Avraam Chatzinikolaou
BMCBI
2011
15 years 1 months ago
Learning genetic epistasis using Bayesian network scoring criteria
Background: Gene-gene epistatic interactions likely play an important role in the genetic basis of many common diseases. Recently, machine-learning and data mining methods have be...
Xia Jiang, Richard E. Neapolitan, M. Michael Barma...