Sciweavers

567 search results - page 88 / 114
» Regularized Policy Iteration
Sort
View
104
Voted
SIGGRAPH
1996
ACM
15 years 4 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
98
Voted
APL
1992
ACM
15 years 4 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
107
Voted
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 4 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
15 years 4 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-...
105
Voted
ISHPC
2000
Springer
15 years 4 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