Sciweavers

2944 search results - page 166 / 589
» Improving Bound Propagation
Sort
View
VMV
2003
186views Visualization» more  VMV 2003»
13 years 11 months ago
Simulation, Modelling and Rendering of Incompressible Fluids in Real Time
In this paper we present techniques for the real-time simulation and rendering of liquids. Appropriate approximations to a full 3D simulation are applied to reduce the numerical c...
Thomas Klein, Mike Eissele, Daniel Weiskopf, Thoma...
JCM
2008
101views more  JCM 2008»
13 years 10 months ago
MIMO Channel Sounder at 3.5 GHz: Application to WiMAX System
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
Hanna Farhat, Guy Grunfelder, Alvaro Carcelen, Gha...
JCP
2008
104views more  JCP 2008»
13 years 10 months ago
Trusted Decision Mechanism Based on Fuzzy Logic for Open Network
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
Lin Zhang, Ruchuan Wang, Haiyan Wang
DMS
2010
155views Multimedia» more  DMS 2010»
13 years 9 months ago
Ontological Filters for Slow Intelligence Systems
: Slow Intelligence Systems are general-purpose systems characterized by being able to improve performance over time through a process involving enumeration, propagation, adaptatio...
Shi-Kuo Chang, Emilio Zegarra, Chia Chun Shih, Tin...
SAT
2011
Springer
263views Hardware» more  SAT 2011»
13 years 1 months ago
Failed Literal Detection for QBF
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
Florian Lonsing, Armin Biere