Sciweavers

25041 search results - page 4597 / 5009
» Algorithms for Clustering Data
Sort
View
DIS
1998
Springer
15 years 11 months ago
Development of SDS2: Smart Discovery System for Simultaneous Equation Systems
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re ecting the rst principles underlying the objective process through experi...
Takashi Washio, Hiroshi Motoda
EUROPAR
1998
Springer
15 years 11 months ago
Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
Arnold R. Krommer
FMCAD
1998
Springer
15 years 11 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...
195
Voted
IWMM
1998
Springer
115views Hardware» more  IWMM 1998»
15 years 11 months ago
One-Bit Counts between Unique and Sticky
Stoye's one-bit reference tagging scheme can be extended to local counts of two or more via two strategies. The first, suited to pure register transactions, is a cache of ref...
David J. Roth, David S. Wise
KES
1998
Springer
15 years 11 months ago
An acquisition of the relation between vision and action using self-organizing map and reinforcement learning
An agent must acquire internal representation appropriate for its task, environment, sensors. As a learning algorithm, reinforcement learning is often utilized to acquire the rela...
Kazunori Terada, Hideaki Takeda, Toyoaki Nishida
« Prev « First page 4597 / 5009 Last » Next »