Sciweavers

5451 search results - page 807 / 1091
» On very high degrees
Sort
View
CP
1999
Springer
15 years 11 months ago
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms
Reformulating constraint satisfaction problems (CSPs) in lower arity is a common procedure when computing consistency. Lower arity CSPs are simpler to treat than high arity CSPs. ...
Claudio Lottaz
MICRO
1999
IEEE
110views Hardware» more  MICRO 1999»
15 years 11 months ago
Balance Scheduling: Weighting Branch Tradeoffs in Superblocks
Since there is generally insufficient instruction level parallelism within a single basic block, higher performance is achieved by speculatively scheduling operations in superbloc...
Alexandre E. Eichenberger, Waleed Meleis
EWLR
1999
Springer
15 years 11 months ago
Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically-Rearranging Neural Network Approach
In the field of evolutionary robotics artificial neural networks are often used to construct controllers for autonomous agents, because they have useful properties such as the ab...
Peter Eggenberger, Akio Ishiguro, Seiji Tokura, To...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
FPGA
1999
ACM
123views FPGA» more  FPGA 1999»
15 years 11 months ago
Procedural Texture Mapping on FPGAs
Procedural textures can be effectively used to enhance the visual realism of computer rendered images. Procedural textures can provide higher realism for 3-D objects than traditio...
Andy Gean Ye, David M. Lewis