Sciweavers

6274 search results - page 919 / 1255
» Proofs, Programs, Processes
Sort
View
99
Voted
HICSS
2000
IEEE
110views Biometrics» more  HICSS 2000»
15 years 7 months ago
Reverse Compilation for Digital Signal Processors: A Working Example
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...
Adrian Johnstone, Elizabeth Scott, Tim Womack
HICSS
2000
IEEE
208views Biometrics» more  HICSS 2000»
15 years 7 months ago
Transfer Capability Computations in Deregulated Power Systems
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
Mohamed Shaaban, Yixin Ni, Felix F. Wu
119
Voted
IJCNN
2000
IEEE
15 years 7 months ago
On Derivation of MLP Backpropagation from the Kelley-Bryson Optimal-Control Gradient Formula and Its Application
The well-known backpropagation (BP) derivative computation process for multilayer perceptrons (MLP) learning can be viewed as a simplified version of the Kelley-Bryson gradient f...
Eiji Mizutani, Stuart E. Dreyfus, Kenichi Nishio
136
Voted
IPPS
2000
IEEE
15 years 7 months ago
An Open Market-Based Architecture for Distributed Computing
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...
Spyros Lalis, Alexandros Karypidis
149
Voted
ADL
2000
Springer
252views Digital Library» more  ADL 2000»
15 years 7 months ago
Audio Structuring and Personalized Retrieval Using Ontologies
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
Latifur Khan, Dennis McLeod