Sciweavers

5232 search results - page 113 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
CAD
2004
Springer
15 years 1 months ago
Design formalism for collaborative assembly design
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
Kyoung-Yun Kim, Yan Wang, Obinna S. Muogboh, Barth...
CAIP
2005
Springer
15 years 3 months ago
Automatic Human Model Generation
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
Bodo Rosenhahn, Lei He, Reinhard Klette
WICSA
2004
15 years 3 months ago
Compositional Generation of Software Architecture Performance QN Models
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
Antinisca Di Marco, Paola Inverardi
112
Voted
CAV
2009
Springer
165views Hardware» more  CAV 2009»
16 years 2 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
114
Voted
KDD
2005
ACM
160views Data Mining» more  KDD 2005»
16 years 2 months ago
Optimizing time series discretization for knowledge discovery
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
Alfred Ultsch, Fabian Mörchen