Sciweavers

2403 search results - page 198 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
TOG
2010
89views more  TOG 2010»
15 years 1 months ago
Volumetric modeling with diffusion surfaces
The modeling of volumetric objects is still a difficult problem. Solid texture synthesis methods enable the design of volumes with homogeneous textures, but global features such a...
Kenshi Takayama, Olga Sorkine, Andrew Nealen, Take...
EDBT
2010
ACM
145views Database» more  EDBT 2010»
15 years 9 months ago
Splash: ad-hoc querying of data and statistical models
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
Lujun Fang, Kristen LeFevre
CCE
2005
15 years 6 months ago
Integrating CDU, FCC and product blending models into refinery planning
The accuracy of using linear models for crude distillation unit (CDU), fluidize-bed catalytic cracker (FCC) and product blending in refinery planning has been debated for decades....
Wenkai Li, Chi-Wai Hui, AnXue Li
ICFEM
2007
Springer
16 years 19 days ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
MST
2011
200views Hardware» more  MST 2011»
15 years 1 months ago
Performance of Scheduling Policies in Adversarial Networks with Non-synchronized Clocks
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
Antonio Fernández Anta, José Luis L&...