Sciweavers

8016 search results - page 1395 / 1604
» On the practical genetic algorithms
Sort
View
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 10 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
SMILE
2000
Springer
15 years 10 months ago
Frame Decimation for Structure and Motion
A frame decimation scheme is proposed that makes automatic extraction of Structure and Motion (SaM) from handheld sequences more practical. Decimation of the number of frames used...
David Nistér
KDD
1995
ACM
108views Data Mining» more  KDD 1995»
15 years 10 months ago
A Statistical Perspective On Knowledge Discovery In Databases
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
John F. Elder IV, Daryl Pregibon
ICML
1994
IEEE
15 years 10 months ago
Learning Without State-Estimation in Partially Observable Markovian Decision Processes
Reinforcement learning (RL) algorithms provide a sound theoretical basis for building learning control architectures for embedded agents. Unfortunately all of the theory and much ...
Satinder P. Singh, Tommi Jaakkola, Michael I. Jord...
TAPSOFT
1991
Springer
15 years 10 months ago
A Calculus of Broadcasting Systems
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
K. V. S. Prasad
« Prev « First page 1395 / 1604 Last » Next »