1101 search results - page 191 / 221 » Comparing Computer Models Solving Number Series Problems |
ADBIS
2009
Springer
15 years 4 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
90
Voted
NIPS
1993
14 years 11 months ago
1993
While exploring to nd better solutions, an agent performing online reinforcement learning (RL) can perform worse than is acceptable. In some cases, exploration might have unsafe, ...
INFORMATICALT
2006
14 years 9 months ago
2006
The paper describes the development and performance of parallel algorithms for the discrete element method (DEM) software. Spatial domain decomposition strategy and message passing...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
A simple geometric interpretation for received signal strength (RSS) difference based geolocation can be illustrated by considering a plane containing a single pair of receivers a...