256 search results - page 51 / 52 » Timing Verification by Successive Approximation |
EPS
1997
Springer
13 years 11 months ago
1997
Springer
In spirit of the earlier works done by Arthur (1992) and Palmer et al. (1993), this paper models speculators with genetic programming (GP) in a production economy (Muthian Economy)...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
A number of techniques have been proposed for flying through scenes by redisplaying previously rendered or digitized views. Techniques have also been proposed for interpolating be...
COMSWARE
2007
IEEE
13 years 11 months ago
2007
IEEE
Migration to a converged network has caused service providers to deploy real time applications such as voice over an IP (VoIP) network. From the provider's perspective, the s...
SODA
2008
ACM
13 years 8 months ago
2008
ACM
A common approach for dealing with large data sets is to stream over the input in one pass, and perform computations using sublinear resources. For truly massive data sets, howeve...
AAAI
2006
13 years 8 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...