Sciweavers

19367 search results - page 3723 / 3874
» Fine-Grain Process Modelling
Sort
View
CORR
2011
Springer
176views Education» more  CORR 2011»
14 years 11 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
CSDA
2011
14 years 11 months ago
Functional density synchronization
Estimating an overall density function from repeated observations on each of a sample of independent subjects or experimental units is of interest. An example is provided by biodem...
Zhen Zhang, Hans-Georg Müller
KAIS
2011
129views more  KAIS 2011»
14 years 10 months ago
Counting triangles in real-world networks using projections
Triangle counting is an important problem in graph mining. Two frequently used metrics in complex network analysis which require the count of triangles are the clustering coefficie...
Charalampos E. Tsourakakis
TASE
2011
IEEE
14 years 10 months ago
KnitSketch: A Sketch Pad for Conceptual Design of 2D Garment Patterns
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
Cui-Xia Ma, Yong-Jin Liu, Hai-Yan Yang, Dong-Xing ...
TEDU
2011
243views Education» more  TEDU 2011»
14 years 10 months ago
Sketch Based 3D Character Deformation
Most 3D character editing tools are complex and non-intuitive. It takes lot of skill and labor from the artists to create even a draft 3D humanoid model. This paper proposes an int...
Mo Li, Golam Ashraf
« Prev « First page 3723 / 3874 Last » Next »