Sciweavers

4463 search results - page 591 / 893
» computer 2000
Sort
View
JCNS
2000
67views more  JCNS 2000»
15 years 4 months ago
Renewal-Process Approximation of a Stochastic Threshold Model for Electrical Neural Stimulation
In a recent set of modeling studies we have developed a stochastic threshold model of auditory nerve response to single biphasic electrical pulses (Bruce et al., 1999c) and moderat...
Ian C. Bruce, Laurence S. Irlicht, Mark W. White, ...
146
Voted
JLP
2000
140views more  JLP 2000»
15 years 4 months ago
An abductive event calculus planner
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
Murray Shanahan
JLP
2000
134views more  JLP 2000»
15 years 4 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
JODL
2000
124views more  JODL 2000»
15 years 4 months ago
ScholOnto: an ontology-based digital library server for research documents and discourse
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
Simon Buckingham Shum, Enrico Motta, John Domingue
156
Voted
JSA
2000
96views more  JSA 2000»
15 years 4 months ago
Design techniques for low-power systems
Portable products are being used increasingly. Because these systems are battery powered, reducing power consumption is vital. In this report we give the properties of low power d...
Paul J. M. Havinga, Gerard J. M. Smit