Sciweavers

1680 search results - page 263 / 336
» Curvature-Domain Shape Processing
Sort
View
PE
2002
Springer
118views Optimization» more  PE 2002»
14 years 11 months ago
Procedures and tools for analysis of network traffic measurements
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...
Costas Courcoubetis, Vasilios A. Siris
JEI
2008
128views more  JEI 2008»
14 years 11 months ago
Practical use of receiver operating characteristic analysis to assess the performances of defect detection algorithms
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
Yann Le Meur, Jean-Michel Vignolle, Jocelyn Chanus...
PVLDB
2008
121views more  PVLDB 2008»
14 years 11 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
TVCG
2008
152views more  TVCG 2008»
14 years 11 months ago
Stylized Rendering Using Samples of a Painted Image
We introduce a novel technique to generate painterly art maps (PAMs) for 3D nonphotorealistic rendering. Our technique can automatically transfer brushstroke textures and color cha...
Chung-Ren Yan, Ming-Te Chi, Tong-Yee Lee, Wen-Chie...
ICFEM
2010
Springer
14 years 10 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...