3575 search results - page 650 / 715 » Presentations of computably enumerable reals |
IADIS
2004
15 years 1 months ago
2004
To improve the courses of computer-based education in junior high school and high school, we have developed new educational multi-media tool, named Cyber Theater. Cyber Theater pr...
BMCBI
2010
14 years 12 months ago
2010
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...
106
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
In this work we present a measurement study of user mobility in Second Life. We first discuss different techniques to collect user traces and then focus on results obtained using ...
TROB
2008
14 years 11 months ago
2008
In formation-maintenance (formation control) tasks, robots maintain their relative position with respect to their peers, according to a desired geometric shape. Previous work has e...
114
click to vote
NN
2002
Springer
14 years 11 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...