10910 search results - page 1746 / 2182 » Input modeling using a computer algebra system |
219
Voted
TOG
2008
15 years 7 months ago
2008
We propose a novel solid/fluid coupling method that treats the coupled system in a fully implicit manner making it stable for arbitrary time steps, large density ratios, etc. In c...
227
Voted
SAC
2011
ACM
14 years 10 months ago
2011
ACM
Although the Web lets users freely browse and publish information, most Web information is unauthorized in contrast to conventional mass media. Therefore, it is not always credibl...
169
Voted
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
208
Voted
CGF
2007
15 years 7 months ago
2007
This paper presents a novel method for real-time homogenous translucent material editing under fixed illumination. We consider the complete analytic BSSRDF model proposed by Jens...
264
Voted
CGA
2010
15 years 5 months ago
2010
In this paper, we introduce a visualization method that couples a trend chart with word clouds to illustrate temporal content evolutions in a set of documents. Specifically, we us...