Sciweavers

23703 search results - page 4589 / 4741
» Learning from Demonstration
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 2 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
FPGA
1997
ACM
118views FPGA» more  FPGA 1997»
14 years 2 months ago
Module Generation of Complex Macros for Logic-Emulation Applications
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
Wen-Jong Fang, Allen C.-H. Wu, Duan-Ping Chen
HPCN
1997
Springer
14 years 2 months ago
Parallel Solution of Irregular, Sparse Matrix Problems Using High Performance Fortran
For regular, sparse, linear systems, like those derived from regular grids, using High Performance Fortran (HPF) for iterative solvers is straightforward. However, for irregular ma...
Eric de Sturler, Damian Loher
ICIAP
1997
ACM
14 years 2 months ago
Color Based Object Recognition
The purpose is to arrive at recognition of multicolored objects invariant to a substantial change in viewpoint, object geometry and illumination. Assuming dichromatic reflectance...
Theo Gevers, Arnold W. M. Smeulders
TIME
1994
IEEE
14 years 2 months ago
Event Tracking for an Intelligent Automated Agent
: In a dynamic, multi-agent environment, an the intelligent agents act as automated pilots automated intelligent agent is often faced with the for the simulated aircraft. These aut...
Milind Tambe, Paul S. Rosenbloom
« Prev « First page 4589 / 4741 Last » Next »