Sciweavers

4074 search results - page 187 / 815
» Defining Computational Aesthetics
Sort
View
FLAIRS
2000
14 years 3 days ago
HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Documents
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
Sandro Coimbra Assis, Flávio Miguel Varej&a...
BIRTHDAY
2010
Springer
13 years 12 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
CONCUR
2010
Springer
13 years 12 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
SMA
2010
ACM
223views Solid Modeling» more  SMA 2010»
13 years 11 months ago
Hyperbolic centroidal Voronoi tessellation
The centroidal Voronoi tessellation (CVT) has found versatile applications in geometric modeling, computer graphics, and visualization. In this paper, we extend the concept of the...
Guodong Rong, Miao Jin, Xiaohu Guo
CAGD
2010
118views more  CAGD 2010»
13 years 11 months ago
Topology of 2D and 3D rational curves
In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the p...
Juan Gerardo Alcázar, Gema María D&i...