Sciweavers

567 search results - page 88 / 114
» Regularized Policy Iteration
Sort
View
SIGGRAPH
1996
ACM
13 years 11 months ago
Image-Guided Streamline Placement
Accurate control of streamline density is key to producing several effective forms of visualization of 2-dimensional vector fields. We introduce a technique that uses an energy fu...
Greg Turk, David Banks
APL
1992
ACM
13 years 11 months ago
Compiler Tools in APL
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
Robert Bernecky, Gert Osterburg
CAV
2007
Springer
164views Hardware» more  CAV 2007»
13 years 11 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
GLOBECOM
2009
IEEE
13 years 11 months ago
Distributed Power and Carrier Allocation in Multibeam Satellite Uplink with Individual SINR Constraints
Abstract--Current multibeam satellite systems perform centralized power and carrier allocation assuming a Multi-Frequency Time Division Multiple Access (MF-TDMA) scheme with fixed ...
J. E. Barcelo-Llado, Maria Angeles Vázquez-...
ISHPC
2000
Springer
13 years 11 months ago
Loop Termination Prediction
Deeply pipelined high performance processors require highly accurate branch prediction to drive their instruction fetch. However there remains a class of events which are not easi...
Timothy Sherwood, Brad Calder