Sciweavers

1917 search results - page 64 / 384
» The York Abstract Machine
Sort
View
KI
2009
Springer
14 years 4 months ago
Machine Learning Techniques for Selforganizing Combustion Control
Abstract. This paper presents the overall system of a learning, selforganizing, and adaptive controller used to optimize the combustion process in a hard-coal fired power plant. T...
Erik Schaffernicht, Volker Stephan, Klaus Debes, H...
ISCAS
2007
IEEE
134views Hardware» more  ISCAS 2007»
14 years 4 months ago
Florida Wireless Implantable Recording Electrodes (FWIRE) for Brain Machine Interfaces
Abstract— This paper reviews on-going efforts towards the development of the Florida Wireless Implantable Recording Electrodes (FWIRE). The FWIRE microsystem platform is a fully ...
Rizwan Bashirullah, John G. Harris, Justin C. Sanc...
ISCAS
2005
IEEE
113views Hardware» more  ISCAS 2005»
14 years 3 months ago
On the robustness of an analog VLSI implementation of a time encoding machine
Abstract— Time encoding is a mechanism for representing the information contained in a continuous time, bandlimited, analog signal as the zero-crossings of a binary signal. Time ...
Peter R. Kinget, Aurel A. Lazar, Laszlo T. Toth
TYPES
2004
Springer
14 years 3 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
AWIC
2003
Springer
14 years 3 months ago
A Machine Learning Based Evaluation of a Negotiation between Agents Involving Fuzzy Counter-Offers
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
Javier Carbo Rubiera, Agapito Ledezma