Sciweavers

4074 search results - page 556 / 815
» Defining Computational Aesthetics
Sort
View
AI
2002
Springer
15 years 6 months ago
Coherence in finite argument systems
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
Paul E. Dunne, Trevor J. M. Bench-Capon
MCS
2007
Springer
15 years 6 months ago
Parallel unstructured mesh generation by an advancing front method
Mesh generation is a critical step in high fidelity computational simulations. High-quality and high-density meshes are required to accurately capture the complex physical phenome...
Yasushi Ito, Alan M. Shih, Anil K. Erukala, Bharat...
APAL
2002
73views more  APAL 2002»
15 years 6 months ago
The sequentially realizable functionals
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
John Longley
CAD
2004
Springer
15 years 6 months ago
A concurrent engineering-oriented design database representation model
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
Deyi Xue, Haoguang Yang
CGF
2000
158views more  CGF 2000»
15 years 6 months ago
Unsteady Flow Visualization by Animating Evenly-Spaced Streamlines
In recent years the work on vector field visualization has been concentrated on LIC-based methods. In this paper we propose an alternative solution for the visualization of unstea...
Bruno Jobard, Wilfrid Lefer